Formal engineering of software library systems

Steven Atkinson. Formal engineering of software library systems. PhD thesis, University of Queensland, Australia, 1997. [doi]

Abstract

Abstract is missing.