@misc{indiciae2d4e548faac3, title = {Initial Semantics for Strengthened Signatures}, author = {André Hirschowitz and Marco Maggesi}, year = {2012}, doi = {10.4204/eptcs.77.5}, url = {https://arxiv.org/abs/1202.3499}, note = {Source identifier: 1202.3499} }