A semantically-based formatting discipline for Pascal
scientific article