Jayadev Misra A Simple, Object-Based View of Multiprogramming. 23-45 2002 20 Formal Methods in System Design 1 db/journals/fmsd/fmsd20.html#Misra02