J. Phillip Benkhard Extending Structure, Type, and Expression in APL2. 20-38 1991 APL http://doi.acm.org/10.1145/114054.114058 db/conf/apl/apl91.html#Benkhard91a