Program verification at Stanford.

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)