Author: Bertrand Meyer,J. Rg Kohlas,Andr Schiper