R. Daniel Resler. An investigation into generating readable software from logic specifications. PhD thesis, Queen's University Belfast, UK, 1991. [doi]
@phdthesis{ethos-8670,
title = {An investigation into generating readable software from logic specifications},
author = {R. Daniel Resler},
year = {1991},
url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317483},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-8670},
cites = {0},
citedby = {0},
school = {Queen's University Belfast, UK},
}