Type-checking Fluent Languages (1987)

by J M Lucassen