Combining the box structure development method and CSP for software development - Hopcroft, P; Broadfoot, G (Electronic Notes in Theoretical Computer Science, 2005)