Scott Kimbrough Control system development tools. 15-29 1987 APL http://doi.acm.org/10.1145/28315.28318 db/conf/apl/apl1987.html#Kimbrough87