@misc{indiciae8f67e9ce4799,
  title = {Discrete mathematics, formal methods, the Z schema and the software life cycle},
  author = {Bown, Rodney L.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910016321},
  note = {Source identifier: 19910016321}
}