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