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.