semantics.bib

@TechReport{Plotkin1981,
  author = 	 "Gordon D. Plotkin",
  title = 	 "A structural approach to operational semantics",
  institution =  "Computer Science Department, Aarhus University",
  year = 	 1981,
  number = 	 "DAIMI FN-19",
  address = 	 aarhus,
  supersededby = "Plotkin2004",
}

@Article{Plotkin2004,
  author = 	 "Gordon D. Plotkin",
  title = 	 "A structural approach to operational semantics",
  journal = 	 JLAP,
  year = 	 2004,
  volume = 	 "60-61",
  pages = 	 "17--139",
  month = 	 jul # "--" # dec,
}