Rodin HandbookThis work is sponsored by the Deploy Project This work is sponsored by the ADVANCE Project This work is licensed under a Creative Commons Attribution 3.0 Unported License 
3.3.8 Assignments3.3.8.1 Deterministic Assignments
3.3.8.2 Nondeterministic assignment with beforeafterpredicate
3.3.8.3 Nondeterministic assignment by sets
