Jónsson B, Mckenzie R. Powers of partially ordered sets: Cancellation and reffinement properties. Math. Scand. 1982;51:87-120. doi:10.7146/math.scand.a-11966