Knight, Brian, Ma, Jixin and Peng, Taoxin (1997) A discrete formalism for reasoning about action and change. In: WIT Transactions on Information and Communication Technologies. Applications of Artificial Intelligence in Engineering XII, 19 . WIT Press, pp. 31-34. ISBN 978-1-85312-471-6 ISSN 1743-3517