Mossakowski, T. On Teaching Logic and Algebraic Specification. eceasst 2010, 26.