elements of computer science - "emery, glyn . " (uk : pitman, 1979)