Mark HarmanBooksFormal methods and testingFirst course in C++Literary echoesFunctional models of procedural programsROBERT WALSER REDISCOVEREDSelected StoriesAuthor data: Open Library