Local Reasoning for Java (2005)

by M Parkinson