Partiality in logic and computation by J. Kuper