F. Piessens and E. Steegmans A decision procedure for semantical equivalence of thin FM specifica- tions 351 S. Shnider and D.H. Van Osdol Operads as abstract algebras, and the Koszul property 381 S.-H. Sun Remarks on Tannaka recovery of coalgebras 409 Author index 427