Combining the Box Structure Development Method and CSP

@inproceedings{Hopcroft-Broadfoot:ASE04,
  author    = {Philippa J. Hopcroft and
               Guy H. Broadfoot},
  title     = {Combining the Box Structure Development Method and {CSP}},
  booktitle = {ASE},
  pages     = {340--345},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}