Michel Bidoit Rolf Hennicker Alexander Knapp Hubert Baumeister Glass-Box and Black-Box Views on Object-Oriented Specifications. 208-217 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.22 db/conf/sefm/sefm2004.html#BidoitHKB04