The Design and Implementation of Genesis

@article{Whitfield1994TheDA,
  title={The Design and Implementation of Genesis},
  author={Deborah Whitfield and Mary Lou Soffa},
  journal={Softw., Pract. Exper.},
  year={1994},
  volume={24},
  pages={307-325}
}