David Hemer. A unified approach to adapting and retrieving formally specified components for reuse. PhD thesis, University of Queensland, Australia, 2000. [doi]
@phdthesis{au-1330, title = {A unified approach to adapting and retrieving formally specified components for reuse}, author = {David Hemer}, year = {2000}, url = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA2181063900003131}, researchr = {https://researchr.org/publication/au-1330}, cites = {0}, citedby = {0}, school = {University of Queensland, Australia}, }