A. Anton, W. McCracken, и C. Potts. CAiSE '94: Proceedings of the 6th international conference on Advanced information systems engineering, стр. 94--104. Secaucus, NJ, USA, Springer-Verlag New York, Inc., (1994)
D. Harel, H. Kugler, и A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, стр. 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)