P. J. Plauger
C Users Journal
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming