Executable Specifications Based on Dynamic Algebras (1993)

by A M Kappel
Venue:Logic Programming and Automated Reasoning, volume 698 of Lecture Notes in Artificial Intelligence