Weber, Matthias "Definition and Basic Properties of the Deva Meta-Calculus" pp391-431

(1993) Formal Aspects of Computing 5(5) 1993  

Languages mentioned Deva {1993}