Information processing letters .I47 (North-Holland Pub. Co., 1971)