A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)H.P. Schlaeppi1964IEEE Transactions on Electronic Computers