Alan Borning Robert Duisberg Bjørn N. Freeman-Benson Axel Kramer Michael Woolf 48-60 1987 OOPSLA db/conf/oopsla/oopsla87.html#BorningDFKW87