An essay in combinatory dynamic logic (1991)

by S Passy, T Tinchev
Venue:Inf. Comput