Lecture notes in computer science V.193. Logics of programs,Brooklyn,June 17-19,1985 - Parikh, Rohit Ed. Goos, G. Editor (1985)
Keywords: Computers