TITLE : CATS Simbolic notation specification AUTHOR(S) : Palamidese P TYPE : Other YEAR : 1996 CODE : 413494 *** DO NOT EDIT THIS FILE ***