D. Luckham

Advances in Cryptology — EUROCRYPT ’88

Niklaus Wirth, W. Brauer, C. Moler, 2000, Lecture Notes in Computer Science.

The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

Juris Hartmanis, Niklaus Wirth, G. Goos, 1983, Lecture Notes in Computer Science.

Representation clauses and implementation-dependent features

Juris Hartmanis, G. Goos, W. Brauer, 1983 .