Abstract value constructors (1992)

by William Aitken, John Reppy