A pattern enforcing compiler (PEC) for Java:a practical way to formally specify patterns - Lovatt, Howard; Sloane, Anthony M.; Verity, Dominic R.; Taibi, Toufik (Lovatt , H , Sloane , A M & Verity , D R 2007 , A pattern enforcing compiler (PEC) for Java : a practical way to formally specify patterns . in T Taibi (ed.) , Design pattern formalization techniques . IGI Publishing , Hershey, PA; London , pp. 324-356 . https://doi.org/10.4018/978-1-59904-219-0.ch015, 2007)