Title: A sound and complete Hoare-like system for a fragment of PASCAL