Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: pretty-printing
PP1158
1997 Paper in Conference Proceedings
Boulton,R
A Tool to Support Formal reasoning about Computer Languages