//-->
Axiomatising the logic of computer programming
Goldblatt, Robert, (1982)
Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2 - 4, 1979
Kahn, Gilles, (1979)
Computational semantics : an introd. to artificial intelligence and natural language comprehension
Charniak, Eugene, (1976)