Jayadev Misra Equational Reasoning About Nondeterministic Processes. 29-44 1989 PODC db/conf/podc/podc89.html#Misra89