@techreport{MR99ICASE,
      Author = "C. Mu{\~{n}}oz and J. Rushby",
      Title  = "Structural Embeddings: Mechanization with Method",
      Institution = "ICASE-NASA Langley",
      Number = "ICASE Report No. 1999-26 NASA/CR-1999-209360",
      Address = "ICASE Mail Stop 132C, NASA Langley Research Center,
                  Hampton VA 23681-2199, USA",
      Year = "1999"
}