Oliveira,, José Nuno Fonseca A reification calculus for model-oriented software specification / J. N. Oliveira

A reification calculus for model-oriented software specification / J. N. Oliveira
519.6