Takayasu Ito Albert R. Meyer Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings TACS Lecture Notes in Computer Science 526 Springer 1991 3-540-54415-1 db/conf/tacs/tacs91.html