(1)
Mossakowski, T. On Teaching Logic and Algebraic Specification. ECEASST 2010, 26.