Text this: Logical construction of programs [L.C.P.)] /