CMSC 330: Organization of Programming Languages
Automata and Logic C haracterization of Floyd Languages