Reasoning about concurrent objects (1995)

by H W Schmidt, J Chen
Venue:Asia-Pacific Software Engineering Conference