Science of computer programming. (North-Holland Pub. Co., 1981)