Author: NASA Formal Methods Workshop (1990 Langley Research Center)