Toufik Taibi David Ngo Chek Ling Formal specification of design pattern combination using BPSL. 157-170 2003 45 Information & Software Technology 3 db/journals/infsof/infsof45.html#TaibiN03