1. D. Robertson, Lightweight formal methods, in: Proceedings of the Monterey Workshop on Formal Methods: Software Architectures, Monterey, California, 1995
2. B. Ramesh, Luqi, Process knowledge based rapid prototyping for requirements engineering, in: Proceedings of IEEE Symposium on Requirements Engineering, San Diego, California, IEEE Comput. Soc. Press, Silver Spring, MD, 1993, pp. 248–255
3. D. Robertson, A. Bundy, R. Muetzelfeldt, M. Haggith, M. Uschold, ECO-Logic: Logic Based Approaches to Ecological Modelling, in: Logic Programming Series, MIT Press, Cambridge, MA, 1991
4. N. Fuchs, M. Fromherz, Schema based transformations of logic programs, in: Proceedings of the International Workshop on Logic Program Synthesis and Transformation, Springer, Berlin, 1992
5. W. Vasconcelos, N. Fuchs, An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations, in: Proceedings of the Fifth workshop on Logic Program Synthesis and Transformation, Springer, Berlin, 1995