Citation: S. Brookes et al., CONTENTS AND ABSTRACTS OF THE ELECTRONIC NOTES IN THEORETICAL COMPUTER-SCIENCE VOL 1 - PROCEEDINGS OF THE 11TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, TULANE-UNIVERSITY, NEW-ORLEANS, LA, 29 MARCH 1 APRIL 1995 - FORWARD, Theoretical computer science, 152(2), 1995, pp. 323-324