Abha Moitra Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs. 277-307 1985 5 Sci. Comput. Program. 3 db/journals/scp/scp5.html#Moitra85