Stephan A. Missura Theories = Signatures + Propositions Used as Types. 144-155 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#Missura94