Title: A sound and complete Hoare-like system for a fragment of Pascal
First published: 1978