Title: The situation calculus
First published: 2002