Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited

Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki. Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica, 29(8):689-736, 1992.

Abstract

Abstract is missing.