Ito, T. (ed) & Meyer, A.R. (ed)Theoretical Aspects of Computer Software , 1991
Theoretical aspects of computer software. International conferene TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. - Springer Verlag, 1991. - (Lecture Notes in Computer Science; 526).