An Essay in Combinatory Dynamic Logic - Solomon Passay; Tinko Tinchev (Inf. Comput., 1991)