Algebraically modelling object-orientated programs

Justin Biddle. Algebraically modelling object-orientated programs. PhD thesis, Swansea University, UK, 2006. [doi]

Abstract

Abstract is missing.