An algebraic semantics for structured transition systems and its application to logic programs (1992)

by A Corradini, U Montanari
Venue:Th. Comput. Sci