Why use evolving algebras for hardware and software engineering (1995)

by E Borger
Venue:In Procs. SOFSEM '95, volume 1012 of LNCS