Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. - Raymond J. A. Buhr; C. Murray Woodside; Gerald M. Karam; K. Van Der Loo; D. G. Lewis (ICSE, 1985)