Bruno Achauer Distribution in Trellis/DOWL. 49-61 1991 conf/tools/5-1991 TOOLS (5) db/conf/tools/tools05-1991.html#Achauer91