Mark Harman · 6 obras en el catálogoObrasFormal methods and testingFirst course in C++1997FFunctional models of procedural programsFunctional models of procedural programs1992LLiterary echoesLiterary echoes1982ROBERT WALSER REDISCOVERED1985Selected Stories