Antonio L. Furtado, T. S. E. Maibaum. An Informal Approach to Formal (Algebraic) Specifications. Comput. J., 28(1):59-67, 1985.
@article{FurtadoM85,
title = {An Informal Approach to Formal (Algebraic) Specifications},
author = {Antonio L. Furtado and T. S. E. Maibaum},
year = {1985},
tags = {algebraic specification, e-science, algebra, systematic-approach},
researchr = {https://researchr.org/publication/FurtadoM85},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {28},
number = {1},
pages = {59-67},
}