Michael Huth, Radha Jagadeesan, David A. Schmidt: A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. 14(4): 469-505 (2004)