Masami Hagiya John C. Mitchell Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings TACS Lecture Notes in Computer Science 789 Springer 1994 3-540-57887-0 db/conf/tacs/tacs94.html