Verifiable and executable specifications of concurrent objects in Lπ (1998)

by Luis Caires, L Monteiro
Venue:Programming Languages and Systems — ESOP ’98, volume 1381 of Lecture Notes in Computer Science