Some Analysis of PASCAL Programs (Mathematical Methods in Software Science and Engineering)