John Peterson Gregory D. Hager Monadic robotics. 95-108 1999 DSL http://doi.acm.org/10.1145/331960.331976 db/conf/dsl/dsl1999.html#PetersonH99