Term logic with choice operator - Hermes, Hans (Lecture Notes in Mathematics / Springer-Verlag ;, 1970)