Functional programming, formal specification, and rapid prototyping
- 1 February 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 12 (2), 241-250
- https://doi.org/10.1109/tse.1986.6312939