Yannick Welsch Grey-box specifications for object-oriented program components. 913-914 2008 OOPSLA Companion http://doi.acm.org/10.1145/1449814.1449905 conf/oopsla/2008c db/conf/oopsla/oopsla2008c.html#Welsch08