Frédéric Bertrand Michel Augeraud BDL: A Language to Control the Behavior of Concurrent Objects. 133-144 1997 conf/dsl/1997 DSL http://www.usenix.org/publications/library/proceedings/dsl97/bertrand.html db/conf/dsl/dsl1997.html#BertrandA97