Science of computer programming (North Holland Publishing, 1981)