Computer programme construction - Mili, Ali (oxford, 1994)