@misc{12998,
  author = {O. Krogdahl and Olav Lysne},
  title = {On Verification of Parallel and Interleaved Executions},
  year = {1999},
  number = {277},
  publisher = {Department of Informatics, University of Oslo},
}