Cyril N. Alberga Alfred L. Brown George B. Leeman Jr. Martin Mikelsons Mark N. Wegman A Program Development Tool. 92-104 1981 POPL db/conf/popl/popl81.html#AlbergaBLMW81