TwoLev: A Two Level Scanner. - John Knaack; Teodor Rus (AMAST, 1991)

Real-Time Program Synthesis from Specifications. - Aurel Cornell; John Knaack; A. Nangia; Teodor Rus (AMAST, 1993)