Bertrand Meyer 139-140 1999 32 IEEE Computer 1 db/journals/computer/computer32.html#Meyer99 http://doi.ieeecomputersociety.org/10.1109/2.738312