Logic and algebra of specification - Bauer, Friedrich L (Berlin Springer-Verlag, 1993)