Donald Sannella, Andrzej Tarlecki. Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica, 25(3):233-281, 1988.
@article{SannellaT88,
title = {Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited},
author = {Donald Sannella and Andrzej Tarlecki},
year = {1988},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/SannellaT88},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {25},
number = {3},
pages = {233-281},
}