Informality in program specification

Open in new window