Hoare-style Parallel Programming: Foils for a Student Course, IN305 by Ole-Johan Dahl | Menrva Books | MenrvaBooks