T. Mossakowski, “On Teaching Logic and Algebraic Specification”, eceasst, vol. 26, Apr. 2010.