Wong, H.K.T. Design and verification of interactive information systems. Ph.D. dissertation, Dep. Computer. Sci., Univ. Toronto, Toronto, Canada. 1982

Languages mentioned

• Taxis {1980}