[1]
T. Mossakowski, “On Teaching Logic and Algebraic Specification”,
ECEASST
, vol. 26, Apr. 2010.