+
−
@manual{isa-imp,+
−
  author	= {Makarius Wenzel},+
−
  title		= {The {Isabelle/Isar} Implementation},+
−
  institution	= {Technische Universit\"at M\"unchen},+
−
  note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}+
−