@inproceedings{Mossakowski09,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2184a3f3995bc3a61f369432acf1281f5/tillmo},
  booktitle = {Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-J{\"o}rg Kreowski on the Occasion of His 60th Birthday},
  editor = {Drewes, Frank and Habel, Annegret and Hoffmann, Berthold and Plump, Detlef},
  interhash = {6d17b67ec6da8c0549a14db13b18e39c},
  intrahash = {184a3f3995bc3a61f369432acf1281f5},
  keywords = {algebraic logic specification teaching},
  pages = {269-286},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {On Teaching Logic and Algebraic Specification},
  url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/378/353},
  year = 2009
}