Shapely types and shape polymorphism: Extended version (1994)

by C B Jay, J R B Cockett