TOIL: A new type-safe object-oriented imperative language. Manuscript (1993)

by K Bruce, R van Gent