A Calculus for Schemas in Z
S. M. Brien and A. P. Martin
Journal
J. Symbolic Computation
Number
1
Pages
63–91
Volume
30
Year
2000
S. M. Brien and A. P. Martin