Edwin P. D. Pednault ADL and the State-Transition Model of Action. 467-512 1994 4 J. Log. Comput. 5 db/journals/logcom/logcom4.html#Pednault94 http://dx.doi.org/10.1093/logcom/4.5.467