Selected papers of the Conference on Theoretical Aspects of Computer Software, TACS '91 24 - 27 September 1991, Sendai, Japan (Elsevier, 1993)
In: Science of computer programming. Vol. 21, No. 2, 1993