Compositionality, concurrency and partial correctness - Zwiers J (Berlin Springer-Verlag, 1989)
Keywords: Computer science