Term Logic with Choic Operator - Hermes Hans (Berlin Springer-Verlag, 1970)
Bibliography 53-54p