Formal Aspects of Computing 5(5) 1993
(1993)
Formal Aspects of Computing
Weber, Matthias (1993)
Weber, Matthias "Definition and Basic Properties of the Deva Meta-Calculus" pp391-431