Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein: Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86