Luc Moreau Christian Queinnec Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing. 1997 conf/dsl/1997 DSL http://www.usenix.org/publications/library/proceedings/dsl97/moreau.html db/conf/dsl/dsl1997.html#MoreauQ97