P.: Footprints in local reasoning (2009)

by M Raza, Gardner
Venue:Logical Methods in Computer Science 5(2