Modules and types for a common prototyping language (1990)

by L Blaine, A Goldberg