1. Abrial, J.R.: “Data Semantics”, In: Data Base Management, Klimbie, J.W., Koffman, K.L., (Eds.), North-Holland, Amsterdam, pp. 1–59, 1974.
2. Beech, D., Feldman, J.S.: “The Integrated Data Model: A Database Perspective”, In: Proc. 9th International Conference on VLDB, Florence, Italy, October 1983.
3. Bekic, H., Bjorner, D., Henhapl, W., Jones, C.B., Lucas, P.: “A Formal Definition of a PL/1 Subset”, Technical Report, IBM Vienna Laboratory, December 1974.
4. Bjorner, D., Jones, C.B., (Eds.): “The Vienna Development Method: The Meta-Language”, Lecture Notes in Computer Science, Vol. 61, Springer-Verlag, May 1978.
5. Bjorner, D., Lovengren, H.H.: “Formalization of Database Systems - And a Formal Definition of IMS”, In: Proc. 8th International Conference on VLDB, Mexico City, Mexico, September 1982.