Thimbleby, Harold; Ladkin, Peter: 'From logic to manuals', Software Engineering Journal, 1996, 11, (6), p. 347-354, DOI: 10.1049/sej.1996.0045
IET Digital Library, https://digital-library.theiet.org/;jsessionid=ho0ea9l7qhac.x-iet-live-01content/journals/10.1049/sej.1996.0045