@article{RSMUP_1973__49__157_0,
     author = {Bressan, A.},
     title = {The interpreted type-free modal calculus $MC^{\infty }$},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {157--194},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {49},
     year = {1973},
     zbl = {0279.02010},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1973__49__157_0/}
}