A Bibliography of Willem-Paul de Roever.

Published in: Concurrency, Compositionality, and Correctness (2010)