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

by L Moreau, C Queinnec
Venue:In Usenix Conference on Domain-Specific Languages (DSL’97