Formal System Development with KIV - Balser, M; Reif, W; Schellhorn, G; Stenzel, K; Thums, A (Springer-Verlag LNCS, 2000)
pp