1. Jon Barwise and John Etchemendy. Hyperproof, CSLI Lecture Notes, University of Chicago Press. To appear, 1994.
2. Viktor Cingel. A graph-based method for timing diagrams representation and verification. In George J. Milne and Laurence Pierre, editors, Correct Hardware Design and Verification Methods, pages 1–14. CHARME, Springer-Verlag, 1993.
3. L.K. Dillon, G. Kutty, L.E. Moser, P.M. Melliar-Smith, and Y.S. Ramakrishna. A graphical interval logic for specifying concurrent systems. Technical report, UCSB, 1993.
4. Ruth Eberle, April 1994. Personal communication.
5. Simon Finn, Michael P. Fourman, Michael Francis, and Robert Harris. Formal system design — interactive synthesis based on computer-assisted formal reasoning. In Luc Claesen, editor, Formal VLSI Specification and Synthesis: VLSI Design-Methods-I. North-Holland, 1990.