1. Can programming be liberated from the von neumann style? A functional style and its algebra of programs;Backus;Cacm,1978
2. Lima, J. A., Introducing sytactic methods in VLSI design problem representation: an application to high order non-slicing floorplanning. Ph.D. Thesis, Syracuse University, 1994.
3. Oliveira, J. N., Formal specification and prototyping of a building description language. In Developments in Computer Aided Design and Modelling for Structured Enngineering, Vol. B, Civil-Comp Press, pp. 37–51. Proceedings of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, UK.
4. Cuadrado, J., Teach formal methods. Byte, 1994, December, 292.
5. Jones, C. B., Systematic Software Development Using VDM. Series in Computer Science, ed. C. A. R. Hoare. Prentice-Hall, Englewood Cliffs, NJ, 1986.