@misc{indiciae95817bcdee0d,
  title = {Structural Embeddings: Mechanization with Method},
  author = {Munoz, Cesar and Rushby, John},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990064123},
  note = {Source identifier: 19990064123}
}