[1] D. Bjørner and O. N. Oest, editors. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980. [ bib | DOI | http ]
[2] Derek Andrews and Wolfgang Henhapl. Pascal. In Bjørner and Jones [3], chapter 6, pages 175-252. [ bib | .pdf ]
[3] Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice Hall International, 1982. [ bib | http ]

This file has been generated by bibtex2html 1.87.