SCIENCE OF COMPUTER PROGRAMMING (AMSTERDAM ELSEVIER SCIENCE BV, 1981)