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