Philippa J. Hopcroft, Guy H. Broadfoot. Combining the Box Structure Development Method and CSP for Software Development. Electronic Notes in Theoretical Computer Science, 128(6):127-144, 2005. [doi]
@article{HopcroftB05, title = {Combining the Box Structure Development Method and CSP for Software Development}, author = {Philippa J. Hopcroft and Guy H. Broadfoot}, year = {2005}, doi = {10.1016/j.entcs.2005.04.008}, url = {http://dx.doi.org/10.1016/j.entcs.2005.04.008}, researchr = {https://researchr.org/publication/HopcroftB05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {127-144}, }