Combining the box structure development method and CSP for software development (Electronic Notes in Theoretical Computer Science, 2005)

(untitled) - Hopcroft, P; Broadfoot, G