Marcos Vescovi Yumi Iwasaki Richard Fikes B. Chandrasekaran CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. 626-633 1993 conf/aaai/1993 AAAI db/conf/aaai/aaai93.html#VescoviIFC93 http://www.aaai.org/Library/AAAI/1993/aaai93-094.php