Verification techniques for a hierarchy of control structures (1974)

by I R NASSI, E A AKKOYUNLU