Science of computer programming (North Holland, 1985)