Dines Bjørner, Hans Henrik Løvengreen. Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). In Eigth International Conference on Very Large Data Bases, September 8-10, 1982, Mexico City, Mexico, Proceedings. pages 334-347, Morgan Kaufmann, 1982. [doi]
Abstract is missing.