Patrick Prémont

• The situation calculus and Hehner's programming theory