@inproceedings{Kei:12a,
  title = {On the equivalence of state transformer senmatics and predicate
           transformer semantics },
  pages = {78--104},
  editor = {},
  author = {Keimel, Klaus},
  publisher = {},
  booktitle = {Proceedings of the Workshop Informatics and Information
               Technologies in Education: Theory, Practice, Didactics,
               Novosibirsk, },
  year = 2012,
  volume = {vol. 1},
  series = {},
}