Miscellaneous

• Review of the book
  E.W.Dijkstra and C.S.Scholten, Predicate Calculus and Program Semantics. Springer-Verlag, 1989.
  Appeared in:
  • Science of Computer Programming 23 (1994) 1-11
  • The Journal of Symbolic Logic 59 (1994) 673-678 (abridged version)



• Egon Boerger: Dynamische Algebren und Semantik von Prolog.
  
  A textbook introduction (of 1992, in German) into ASMs.
  For a full treatment of the Prolog example discussed in this introduction see ISO-PROLOG