Refining Concurrent Objects (1999)

by Martin Büchi , Emil Sekerinski