Title: Extensions of the UNITY methodology
Subjects: Computer software, Parallel programming (Computer science), Verification, Parallel programming