On Teaching Logic and Algebraic Specification

by Till Mossakowski