Wu Yue and Yang Yixin: Congruence of Hardy submodules over the bidisk. In: Acta scientiarum mathematicarum, (83) 1-2. pp. 215-221. (2017)