J. Jahnke, W. Schäfer, и A. Zündorf. Proc. European Software Engineering Conf. (ESEC)
, том 1013 из Lecture Notes in Computer Science, стр. 193--210. Springer-Verlag, (1997)
J. Goguen. Proc. Conf. Discrete Mathematics and Theoretical Computer Science
, том 21 из Australian Computer Science Communications, стр. 35--59. Springer-Verlag, (1999)
P. Naur, и B. Randell (Ред.).
. Brussels, Scientific Affairs Division, NATO, (1969)Report of a conference sponsored by the NATO Science Committee,
Garmisch, Germany, 7th to 11th October 1968.