Oliveira JN.? 1990.??A Reification Calculus for Model-Oriented Software Specification. Formal Aspects of Computing. 2:1?23.