David Eichmann Selecting Reusable Components Using Algebraic Specifications. 57-69 1991 conf/amast/1991 AMAST db/conf/amast/amast1991.html#Eichmann91