J. A. BergstraBooksAlgebraic methodsHandbook of process algebraThe history of information securityAlgebraic specificationHandbook of network and system administrationComputability and continuity in finite typesAlgebraic methods IIAlgebraic Methods IIAuthor data: Open Library
