Sheila Greibach

• Theory of program structures