applied typing and information processing - "drummond, archie . " (uk : stanley thornes, 1994)
Keywords: applied typing