Adam Zachary Wyner A Functional Program for Agents, Actions, and Deontic Specifications. 239-256 2006 conf/dalt/2006 DALT http://dx.doi.org/10.1007/11961536_16 db/conf/dalt/dalt2006.html#Wyner06