Abstract semantic algebras (1983)

by P D Mosses
Venue:Formal Description of Programming Concepts II. IFIP