Reasoning about concurrent objects (1995)

by Heinz W Schmidt, Jian Chen
Venue:Asia-Pacific Software Engineering Conference