@techreport{DMP08,
  author	= "G. Dowek and C. Mu{\~{n}}oz and C. P\u{a}s\u{a}reanu",
  title		= "A Small-Step Semantics OF {PLEXIL}",
  year =         "2008",
  type =         "Technical Report",
  number =       "2008-11",
  institution =  "National Institute of Aerospace",
  address =      "Hampton, VA",
}