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