Local reasoning for Java (2005)

by M J Parkinson