Jonathan P. Bowen. The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278. Microprocessors and Microsystems, 12(3):175, 1988. [doi]
@article{Bowen88b, title = {The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278}, author = {Jonathan P. Bowen}, year = {1988}, doi = {10.1016/0141-9331(88)90023-3}, url = {http://dx.doi.org/10.1016/0141-9331(88)90023-3}, researchr = {https://researchr.org/publication/Bowen88b}, cites = {0}, citedby = {0}, journal = {Microprocessors and Microsystems}, volume = {12}, number = {3}, pages = {175}, }