Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Daniel Pak-Kong Lun: Precise Specification to Compound Patterns with ExLePUS. COMPSAC 2003: 440-445