Stéphane Barbey Didier Buchs Testing Ada Abstract Data Types Using Formal Specifications. 76-89 1994 conf/adaEurope/1994 Ada-Europe db/conf/adaEurope/adaEurope1994.html#BarbeyB94