Bertrand Meyer Cépage: Toward computer-aided design of software. 419-429 1988 8 Journal of Systems and Software 5 http://dx.doi.org/10.1016/0164-1212(88)90033-7 db/journals/jss/jss8.html#Meyer88a