%0 Thesis %1 phd/ethos/Aspinall97 %A Aspinall, David %D 1997 %K %T Type systems for modular programs and specifications.

@phdthesis{phd/ethos/Aspinall97, added-at = {2023-12-12T23:48:15.000+0100}, author = {Aspinall, David}, biburl = {https://www.bibsonomy.org/bibtex/20c1b3e07b674ad35b56913e290c9798f/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.641111}, interhash = {5a7f2352cc94f006ddbd255bdddaab74}, intrahash = {0c1b3e07b674ad35b56913e290c9798f}, keywords = {}, note = {British Library, EThOS}, school = {University of Edinburgh, UK}, timestamp = {2023-12-12T23:48:15.000+0100}, title = {Type systems for modular programs and specifications.}, year = 1997 }