J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, и A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, стр. 305--319. Springer Verlag, (1993)
T. Huang, и J. Lin. Proceedings of the 1994 International Conference on Parallel and Distributed Systems, стр. 759--768. Washington, DC, USA, IEEE Computer Society, (1994)
J. Paakki. Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages: papers presented at the Symposium:
Portland, Oregon, January 17--21, 1994, стр. 361--374. New York, NY, USA, ACM Press, (1994)