Kernel LEAF: a logic plus functional language (1991)

by E Giovannetti, G Levi, C Moiso, C Palamidessi
Venue:Journal of Computer and System Sciences