Logic and Computation: Essays in Honour of Amilcar Sernadas