1. Bell, J. and M. Machover, A Course in Mathematical Logic, N. H. Publ. Comp., 1977.
2. Bubenko jr J. A., Information modelling in the context of system development,Invited paper to IFIP Congress, 1980, 395–411.
3. Chang, C.C, and H.J. Keisler, Model Theory, N.H. Publ. Comp., 1973.
4. Hove, J.O., Kungs Metode for Konsistensbevis og Modellkonstruksjon Anvendt pa Kommunikasjons Protokaller, Master Thesis, Dept. of Computer Science, The Norwegian Inst. of Tech., Trondheim, NORWAY, 1984.
5. Kung C.H, A Temporal Framework for Information Systems Specification and Verification, Ph.D Thesis, Dept. of Computer Science, The Norwegian Inst. of Tech., Trondheim, NORWAY, April, 1984.