Shoham, Y. (1988). Reasoning about Change. Cambridge, MA: MIT Press. van Benthem, J. F. A. K. (1989). Semantic parallels in natural language and computation.
author author date title title title title location publisher publisher editor editor editor editor editor editor date booktitle booktitle booktitle booktitle booktitle booktitle booktitle