Kurt Konolige COLBERT: A Language for Reactive Control in Sapphira. 31-52 1997 conf/ki/1997 KI db/conf/ki/ki97.html#Konolige97