Science of computer programming (Amsterdam : North-Holland Publishing Co., 1981)
57