Hsu-Chun Yen: A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems. Theor. Comput. Sci. 98(2): 263-287 (1992)