Clesio Saraiva dos Santos, Antonio L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho. Towards Constructive Axiomatic Specifications. In Michael L. Brodie, Stephen N. Zilles, editors, Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. Volume 11 of pages 183-185, ACM Press, 1980. [doi]
Abstract is missing.