J. A. Bergstra

The history of information security

2007

Algebraic methods II

1991

Algebraic specification

1989

Computability and continuity i

Computability and continuity in finite types

1976