Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas. Quantum Institutions. In Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, editors, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Volume 4060 of Lecture Notes in Computer Science, pages 50-64, Springer, 2006. [doi]
@inproceedings{CaleiroMSS06,
title = {Quantum Institutions},
author = {Carlos Caleiro and Paulo Mateus and Amílcar Sernadas and Cristina Sernadas},
year = {2006},
doi = {10.1007/11780274_4},
url = {http://dx.doi.org/10.1007/11780274_4},
researchr = {https://researchr.org/publication/CaleiroMSS06},
cites = {0},
citedby = {0},
pages = {50-64},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday},
editor = {Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer},
volume = {4060},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35462-X},
}