J
J. A. Bergstra
7 works on record
Works

Algebraic methods II

The history of information security

Handbook of process algebra

Algebraic methods

Algebraic specification
Handbook of network and system administration
Handbook of network and system administration
Computability and continuity in finite types
Computability and continuity in finite types