An Algebraic Semantics for Transition Systems and Logic Programming (1990)

by A Corradini