Transformations of structures: An algebraic approachHartmut EhrigHans-Jörg Kreowskiet al.1981Mathematical Systems TheoryPaper
Procedure linkage optimization working paperA. Maggiolo-SchettiniB.K. Rosenet al.1973POPL 1973Conference paper
A flow diagram composition of Markov's normal algorithms without concluding formulasG. GermanoA. Maggiolo-Schettini1973BITPaper