Frame algebra with synchronous communication (1995)

by J A Bergstra, A Ponse
Venue:Information Systems – Correctness and Reusability