Title: The situation calculus and Hehner's programming theory
First published: 1997