Transformations of structures: An algebraic approachHartmut EhrigHans-Jörg Kreowskiet al.1981Mathematical Systems Theory
A flow diagram composition of Markov's normal algorithms without concluding formulasG. GermanoA. Maggiolo-Schettini1973BIT