1. Astesiano, E., Reggio, G.: The SMoLCS approach to the formal semantics of programming languages—a tutorial introduction. In: Habermann, A.N., Montanari, U. (eds.) System Development and Ada: CRAI Workshop on Software Factories and Ada, pp. 81–116. Springer, London (1987)
2. Lions, J.L.: ARIANE 5, Flight 501 Failure, Report by the Inquiry Board (1996).
http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
3. NYU Ada Project: Ada/Ed interpreter: Executable semantic model for Ada. Technical report, Courant Institute of Mathematical Sciences, New York University, July 1984
4. Paige, R., Koenig, S.: Finite differencing of computable expressions. ACM Trans. Programm. Lang. Syst. (TOPLAS) 4(3), 402–454 (1982)
5. Schwartz, J.T.: On programming. An Interim Report on the SETL Project, Computer Science Department, Courant Institute of Mathematical Sciences, New York University (1973)