David A. Basin Toby Walsh A Calculus for Rippling. 15-30 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#BasinW94