Symposium issue on Theoretical Aspects of Computer Software 1994 (Elsevier, 1996)
In: Information and computation ; 125 (1996), 2