Carl A. GunterBooksTheoretical aspects of object-oriented programmingSemantics of programming languagesAuthor data: Open Library