Quantum double construction for subfactors arising from periodic commuting squares - Goto, Satoshi.