%A Wm.A. Wulf
%A Ralph L. London
%A Mary Shaw
%T Abstraction and verification in Alphard:
introduction to language and methodology
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 15-60

%A Ralph L. London
%T Remarks on the impact of program verification on language design
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 61-69

%A Mary Shaw
%A Wm.A. Wulf
%A Ralph L. London
%T Abstraction and verification in Alphard: iteration and generators
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 73-116

%A Wm.A. Wulf
%A Mary Shaw
%A Ralph L. London
%T Achieving quality software: reflections on the aims and objective of Alphard
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 117-134

%A Mary Shaw
%T Abstraction and verification in Alphard:
design and verification of tree handler
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 139-159

%A Ralph L. London
%A Mary Shaw
%A Wm.A. Wulf
%T Abstraction and verification in Alphard: a symbol table example
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 161-190

%A Paul Hiflinger
%A Gary Feldman
%A Robert Fitzgerald
%A Izumi Kimura
%A Ralph L. London
%A K.V.S. Prasad
%A V.R. Prasad
%A Jonathan Rosenberg
%A Mary Shaw
%A Wm.A. Wulf
%T An informal definition of Alphard
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 195-252

%A Jon Louis Bentley
%A Mary Shaw
%T An Alphard specification
of a correct and efficient transformation on data structures
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 255-281

%A Mary Shaw
%A Gary Feldman
%A Robert Fitzgerald
%A Paul Hiflinger
%A Izumi Kimura
%A Ralph L. London
%A Jonathan Rosenberg
%A Wm.A. Wulf
%T Validating the utility of abstraction techniques
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 285-293

%A Mary Shaw
%A Wm.A. Wulf
%T Toward relaxing the assumptions in languages and their implementations
%B Alphard: form and content
%E Mary Shaw
%I Springer-Verlag
%C New York
%D 1981
%P 295-313