References. Algebre Categoriali di Relazioni con Fallimento (Stefani, supervised by Bonchi, Di Lavore)
