Steven Atkinson. Formal engineering of software library systems. PhD thesis, University of Queensland, Australia, 1997. [doi]
@phdthesis{au-1184, title = {Formal engineering of software library systems}, author = {Steven Atkinson}, year = {1997}, doi = {10.14264/02b5c6f}, url = {https://doi.org/10.14264/02b5c6f}, researchr = {https://researchr.org/publication/au-1184}, cites = {0}, citedby = {0}, school = {University of Queensland, Australia}, }