Design and verification of distributed interacting processes - Van Mierop, D. (UCLA-ENG-7920, 1979)