Manfred Broy Transformational Semantics for Concurrent Programs. 87-91 1980 11 Inf. Process. Lett. 2 db/journals/ipl/ipl11.html#Broy80 https://doi.org/10.1016/0020-0190(80)90009-5