Structured programming and formal specification
- 1 December 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-1 (4), 421-425
- https://doi.org/10.1109/TSE.1975.6312875