J. Jay Zeman: Complete modalization in S4.4 and S4.0.4. Notre Dame J. Formal Log. 10(3): 257-260 (1969)