Deriving Modular Designs from Formal Specifications

@inproceedings{Carrington-al:FSE93,
  author    = {David A. Carrington and
               David J. Duke and
               Ian J. Hayes and
               Jim Welsh},
  title     = {Deriving Modular Designs from Formal Specifications},
  booktitle = {FSE},
  pages     = {89--98},
  publisher = {{ACM}},
  year      = {1993},
}