1. Dimitri Bertsekas and Robert Gallagher. Data Networks. Prentice-Hall International, Englewood Cliffs, NJ, 1987.
2. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 1940.
3. Rachel Cardell-Oliver. Formal verification of real-time protocols using higher order logic. Technical Report 206, University of Cambridge Computer Laboratory, August 1990.
4. M.J.C. Gordon, A.J.R.G. Milner, and C.P. Wadsworth. Edinburgh LCF: a mechanized logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer Verlag, 1979.
5. M.J.C. Gordon. Why higher-order logic is a good formalism for specifying and verifying hardware. In Formal Aspects of VLSI Design, Proceedings of the 1985 Edinburgh Conference on VLSI, pages 153–177. North Holland, 1986.