A domain equation for refinement of partial systems (0)

by M Huth, R Jagadeesan, D Schmidt
Venue:Math. Struct. in Comp. Science