David J. Pearce: JPure: A Modular Purity System for Java. CC 2011: 104-123