% URLs for bibliography


@Misc{Vaandrager03,
  key = 	 {Vaandrager},
  author = 	 {Frits Willem Vaandrager},
  title = 	 {Safety and Liveness},
  month = 	 {Nov},
  year = 	 {2003},
  note = 	 {\url{http://www.cs.kun.nl/~fvaan/PV/SLIDES/liveness.pdf}},
}

@Misc{Baumgartner00,
  key = 	 {Baumgartner},
  author = 	 {Gerald Baumgartner},
  title = 	 {Axiomatic Semantics},
  month = 	 {Jul},
  year = 	 {2000},
  note = 	 {\url{http://www.cis.ohio-state.edu/~gb/cis755/slides/week4-wednesday.pdf}},
}

@Misc{Rugina02,
  key = 	 {Rugina},
  author = 	 {Radu Rugina},
  title = 	 {Small-step Operational Semantics},
  month = 	 {Sep},
  year = 	 {2002},
  note = 	 {\url{http://www.cs.cornell.edu/courses/cs611/2002fa/lectures/lec05.ps}},
}