Jie Yuan Huaikou Miao Liang Cai A Design Pattern Verifier in Two-Tier Programming Environment. 1081-1086 2004 conf/IEEEcit/2004 CIT http://csdl.computer.org/comp/proceedings/cit/2004/2216/00/22161081abs.htm db/conf/IEEEcit/IEEEcit2004.html#YuanMC04