E. Allen Emerson A. Prasad Sistla 175-201 Information and Control June 1984 61 3 db/journals/iandc/iandc61.html#EmersonS84