M. WirsingBooksMethods of programmingAlgebraic methodsRadical innovations of software and systems engineering in the futureProgramming Language Implementation and Logic ProgrammingAuthor data: Open Library