A Domain Equation for Refinement of Partial Systems (2002)

by M Huth, R Jagadeesan, D Schmidt
Venue:Mathematical Structures in Computer Science