Hirsch, R; McLean, B; (2017) Disjoint union partial algebras. Logical Methods in Computer Science , 13 (2) pp. 1-31. 10.23638/LMCS-13(2:10)2017.