Ira S. Moskowitz Oliver Costich A classical Automata Approach to Noninterference Type Problems. 2-8 1992 CSFW db/conf/csfw/csfw1992.html#MoskowitzC92