1. Problem set for the Fourth International Workshop on Specification and Design, 1987. nr. 2: Heating System.
2. G. Berry and L. Cosserat. The Esterel Synchronous Programming Language and its Mathematical Semantics. In S.D. Brookes, A.W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, volume 197 of LNCS, pages 389–448, Carnegie Mellon University, 1984. Springer Verlag.
3. D. Bjørner. Towards a Meaning of ‘M’ in VDM. In J. Diaz and F. Oregas, editors, Tapsoft-89, volume 352 of LNCS, pages 1–35. Springer Verlag, 1989.
4. D. Bjørner and C.B. Jones. Formal Specification & Software Development. PHI. Prentice Hall, 1982.
5. W.W. Bledsoe and L.M. Hines. Variabale elimination and chaining in a resolution based prover for inequalities. In W. Bibel and Kowalski R., editors, 5th Conference Automated Deduction, LNCS, pages 70–87, New York, 1980. Springer Verlag.