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