Hofmannand Martins. On a Coalgebraic View on Logic. Oxford University Press (OUP), Dec. 2012, doi:10.1093/logcom/exs063.