Intuitionistic reasoning about shared mutable data structure (2000)

by J C Reynolds
Venue:In Millenial Perspectives in Computer Science, Palgrave