%A Thai Son Hoang %T Specification of the Dining Cryptographers problem %L deploy215