@misc{12988,
  author = {Stein Gjessing},
  title = {Verification of Systems of Processes and Monitors - Two Examples},
  year = {1987},
  number = {110},
  month = {June,},
  publisher = {Department of Informatics, University of Oslo},
}