Foundations of modular sos (1999)

by Peter D Mosses
Venue:of Lecture Notes in Computer Science