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.

@article{SannellaST92,
  title = {Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited},
  author = {Donald Sannella and Stefan Sokolowski and Andrzej Tarlecki},
  year = {1992},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/SannellaST92},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {29},
  number = {8},
  pages = {689-736},
}