Jayadev MisraBooksTheories of ProgrammingFM 2006 : Formal MethodsA Discipline of MultiprogrammingChanda JhaEffective Theories in Programming PracticeFM 2006A Discipline of MultiprogrammingAuthor data: Open Library