Correctness of recursive parallel nondeterministic ow programs (1983)

by J A Goguen, J Meseguer
Venue:JCSS