@incollection{Lovatt07,
  title = {A Pattern-Enforcing Compiler ({PEC}) for {Java}: A Practical Way to Formally Specify Patterns},
  author = {Howard Lovatt and Anthony M. Sloane and Dominic Verity},
  year = {2007},
  tags = {Java, testing, constraints, code generation, compiler, design},
  researchr = {https://researchr.org/publication/Lovatt07},
  cites = {0},
  citedby = {0},
  booktitle = {Design Pattern Formalization Techniques},
  address = {Hershey, PA, USA},
  publisher = {Idea Group Inc.},
}