Design and semantics of quantum: a language to control resource consumption in distributed computing (1997)

by L Moreau, C Queinnec
Venue:In Proceedings of the 1997 Usenix Conference on Domain-Specific Languages