Patrick D. O'Brien Daniel C. Halbert Michael F. Kilian The Trellis Programming Environment. 91-102 1987 OOPSLA db/conf/oopsla/oopsla87.html#OBrienHK87