Fritz Schwarz ALLTYPES: An ALgebraic Language and TYPE System. 270-283 1998 conf/aisc/1998 AISC http://link.springer.de/link/service/series/0558/bibs/1476/14760270.htm db/conf/aisc/aisc1998.html#Schwarz98