Symposium issue on Theoretical Aspects of Computer Software 1994 (Elsevier, 1996)