Residuated Relational Systems - Stefano Bonzio; Ivan Chajda (2018)