@InCollection{PittsAM:metsos-jv,
  author =	 {M. R. Lakin and A. M. Pitts},
  title =	 {A Metalanguage for Structural Operational Semantics},
  booktitle =	 {Trends in Functional Programming Volume 8},
  editor =	 {M. Moraz{\'a}n},
  year =	 2008,
  pages =	 {19--35},
  publisher =	 {Intellect},
  isbn =	 {9781841501963}
}