A sound and complete hoar-like system for a fragment of Pascal
A sound and complete hoar-like system for a fragment of Pascal / K. R. Apt