“Aztec Diamonds and Baxter Permutations”
https://www.combinatorics.org/ojs/index.php/eljc/article/view/v17i1r105