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