Dynamic algebras and the nature of induction (1980)

by Vaughan Pratt
Venue:Proc. 12th ACM Symp. on Theory of Computing