Daisuke Bekki
Ochanomizu University, Tokyo, Japan
Abstracting control
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
First-Order Dynamic Logic