Jónsson, B. and Mckenzie, R. (1982) “Powers of partially ordered sets: Cancellation and reffinement properties”., Mathematica Scandinavica, 51, pp. 87–120. doi:10.7146/math.scand.a-11966.