@misc{indiciae512770687ebd,
  title = {Boolean integral calculus for digital systems},
  author = {Tucker, J. H. and Tapia, M. A. and Bennett, A. W.},
  year = {1985},
  url = {https://ntrs.nasa.gov/citations/19850061340},
  note = {Source identifier: 19850061340}
}