Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado. Systematic Derivation of Complementary Specifications. In Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. pages 409-421, IEEE Computer Society, 1981. [doi]
Abstract is missing.