@misc{indiciaeec5fbed0df9b,
  title = {A transition calculus for Boolean functions},
  author = {Tucker, J. H. and Bennett, A. W.},
  year = {1974},
  url = {https://ntrs.nasa.gov/citations/19750050809},
  note = {Source identifier: 19750050809}
}