Do Programmers Need Seat Belts? - Daniel M. Yellin; Robert E. Strom; Richard P. Gabiel (ACM SIGPLAN Notices, 1996)