1

A. V. Aho , S. C. Johnson, LR Parsing, ACM Computing Surveys (CSUR), v.6 n.2, p.99-124, June 1974  [doi>10.1145/356628.356629]

2

Ambler, A. et al., "Gypsy: A language for specification and implementation of verifiable programs," University of Texas, Austin, Texas, to appear (1976).

3

Clark, B.L. and Ham, F.J.B., "The Project SUE System Language Reference Manual," University of Toronto, Computer Systems Research Group Technical Report CSRG-42 (September 1974).

4

B. L. Clark , J. J. Horning, Reflections on a language designed to write an operating system, ACM SIGPLAN Notices, v.8 n.9, p.52-56, September 1973

5

Geschke, C.M. and Mitchell, J.G., "On the problem of uniform references to data structures;" IEEE Trans. SE-1, 2 (June 1975).

6

Hoare, C.A.R., "Proof of correctness of data representations," Acta Informatica 1, 271-281 (1972).

7

C. A. R. Hoare, Hints on programming language design., Stanford University, Stanford, CA, 1973

8

Ichbiah, J.D. et al., The System implementation Language LIS, CII, 68 route de Versailles, 78430 Louveciennes, France (December 1974).

9

Kathleen Jensen , Niklaus Wirth , P. Brinch Hansen , D. Gries , C. Moler , G. Seegmüller , N. Wirth , G. Goos , J. Hartmanis, PASCAL user manual and report, Springer-Verlag New York, Inc., New York, NY, 1974

10

Barbara Liskov , Stephen Zilles, Programming with abstract data types, ACM SIGPLAN Notices, v.9 n.4, p.50-59, April 1974

11

Liskov, B. "An intrduction to CLU," Computation Structures Group Memo 136, MIT (February 1976).

12

London, R.L. et al., "Proof rules for the programming language Euclid," to appear (1977).

13

Richards, M., "BCPL: A tool for complier writing and structured programming," AFIPS Conf. Proc 34 (1969 SJCC).

14

Thompson, D.H., "Base + Bulilder language definition," Technical Note 4, Computer Systems Research Group, University of Toronto (March 1976).

15

Wirth, N., "The programming language Pascal," Acta Informatica 1 (1971).

16

Wirth, N., Modula: A lanuage for modular multiprogramming, Institut fur Informatik, ETH, CH 8092 Zurich (March 1976).

17

Wulf, W., London, R. L. and Shaw, M., "Abstraction and verification in Alphard", New Directions in Algorithmic Languages-1975, Stephen A. Schuman, ed., IRIA (1976).

Graeme Williams, Program checking, ACM SIGPLAN Notices, v.14 n.8, p.13-25, August 1979

S. Kamal Abdali , Guy W. Cherry , Neil Soffer, A Smalltalk system for algebraic manipulation, ACM SIGPLAN Notices, v.21 n.11, p.277-283, Nov. 1986

Kai Koskimies , Kari-Jouko Räihä , Matti Sarjakoski, Compiler construction using attribute grammars, ACM SIGPLAN Notices, v.17 n.6, p.153-159, June 1982

Kari-Jouko Räihä, Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars, ACM SIGPLAN Notices, v.14 n.8, p.26-38, August 1979

P. Asirelli , P. Degano , G. Levi , A. Martèlli , U. Montanari , G. Pacini , F. Sirovich , F. Turini, A flexible environment for program development based on a symbolic interpreter, Proceedings of the 4th international conference on Software engineering, p.251-263, September 17-19, 1979, Munich, Germany

Paul A. Karger, The Lattice Security Model In A Public Computing Network, Proceedings of the 1978 annual conference, p.453-459, December 04-06, 1978, Washington, D.C., United States

Alessio Giacomucci , Frank L. Friedman, Capsules: A data abstraction facility for Pascal, Proceedings of the ACM '81 conference, p.154-160, January 1981

Antonio Albano, Type hierarchies and Semantic Data Models, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.178-186, June 27-29, 1983, San Francisco, California, United States

Klaus-Peter Löhr, Beyond concurrent Pascal, ACM SIGOPS Operating Systems Review, v.11 n.5, p.173-180, November 1977

J. M. Lucassen , D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.47-57, January 10-13, 1988, San Diego, California, United States

Per Brinch Hansen, SuperPascal: a publication language for parallel scientific computing, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002

A. Silberschatz , R. B. Kieburtz, The external consistency of abstract data types, ACM SIGPLAN Notices, v.15 n.2, p.64-73, February 1980

Werner Schenk, Numerical precision and data structures, ACM SIGNUM Newsletter, v.14 n.1, p.34-37, March 1979

David B. Wortman , James R. Cordy, Early experiences with Euclid, Proceedings of the 5th international conference on Software engineering, p.27-32, March 09-12, 1981, San Diego, California, United States

John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981

Mary Shaw , Ellen Borison , Michael Horowitz , Tom Lane , David Nichols , Randy Pausch, Descartes: A programming-language approach to interactive display interfaces, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.100-111, June 27-29, 1983, San Francisco, California, United States

Carl E. Landwehr, An Abstract Type for Statistics Collection in Simula, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.544-563, Oct. 1980

Richard C. Holt , David B. Wortman, A model for implementing Euclid modules and type templates, ACM SIGPLAN Notices, v.14 n.8, p.8-12, August 1979

Michael D. Schroeder , David D. Clark , Jerome H. Saltzer, The Multics kernel design project, ACM SIGOPS Operating Systems Review, v.11 n.5, p.43-56, November 1977

Juha Heinänen, A programmer controlled approach to data and control abstraction, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.41-52, June 27-29, 1983, San Francisco, California, United States

Jonathan E. Shopiro, Theseus—a programming language for relational databeses, ACM Transactions on Database Systems (TODS), v.4 n.4, p.493-517, Dec. 1979

Richard C. Holt , James R. Cordy, The Turing programming language, Communications of the ACM, v.31 n.12, p.1410-1423, Dec. 1988

John Guttag , James Horning , John Williams, FP with data abstraction and strong typing, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.11-24, October 18-22, 1981, Portsmouth, New Hampshire, United States

Alan Demers , James Donahue , Glenn Skinner, Data types as values: polymorphism, type-checking, encapsulation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.23-30, January 23-25, 1978, Tucson, Arizona

Frederic N. Ris, Experience with access functions in an experimental compiler, ACM SIGMICRO Newsletter, v.15 n.3, p.16-27, September 1984

Leonard I. Vanek , Rudolf Marty, Hierarchical coroutines a mechanism for improved program structure, Proceedings of the 4th international conference on Software engineering, p.274-285, September 17-19, 1979, Munich, Germany

Thomas E. Cheatham, Jr. , Judy A. Townley , Glenn H. Holloway, A system for program refinement, Proceedings of the 4th international conference on Software engineering, p.53-62, September 17-19, 1979, Munich, Germany

Richard C. Holt , David B. Wortman , James R. Cordy , David R. Crowe, The Euclid Language: a progress report, Proceedings of the 1978 annual conference, p.111-115, December 04-06, 1978, Washington, D.C., United States

S. L. Graham , W. N. Joy , O. Roubine, Hashed symbol tables for languages with explicit scope control, ACM SIGPLAN Notices, v.14 n.8, p.50-57, August 1979

Anthony I. Wasserman , Steven Gutz, The future of programming, Communications of the ACM, v.25 n.3, p.196-206, March 1982

Richard C. Holt , David B. Wortman, A Model for Implementing EUCLID Modules and Prototypes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.552-562, Oct. 1982

J. Kramer , R. J. Cunningham, Invariants for specifications, Proceedings of the 4th international conference on Software engineering, p.183-193, September 17-19, 1979, Munich, Germany

Gary Bray, Sharing code among instances of Ada generics, ACM SIGPLAN Notices, v.19 n.6, p.276-284, June 1984

Thomas E. Cheatham, Jr. , Glenn H. Holloway , Judy A. Townley, Program refinement by transformation, Proceedings of the 5th international conference on Software engineering, p.430-437, March 09-12, 1981, San Diego, California, United States

Susan M. Merritt, On the importance of teaching PASCAL in the IS curriculum, ACM SIGCSE Bulletin, v.12 n.1, p.88-91, February 1980

Mary Shaw , Gary Feldman , Robert Fitzgerald , Paul Hilfinger , Izumi Kimura , Ralph L. London , Jonathan Rosenberg , Wm. A. Wulf, Validating The Utility Of Abstraction Techniques, Proceedings of the 1978 annual conference, p.106-110, December 04-06, 1978, Washington, D.C., United States

James Donahue , Alan Demers, Data types are values, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.426-445, July 1985

Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988

P. M. Cashin , M. L. Joliat , R. F. Kamel , D. M. Lasker, Experience with a modular typed language: PROTEL, Proceedings of the 5th international conference on Software engineering, p.136-143, March 09-12, 1981, San Diego, California, United States

David Gries , Gary Levin, Assignment and Procedure Call Proof Rules, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.564-579, Oct. 1980

Anthony I. Wasserman, The data management facilities of PLAIN, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, May 30-June 01, 1979, Boston, Massachusetts

Nazim H. Madhavji, Visibility aspects of programmed dynamic data structures, Communications of the ACM, v.27 n.8, p.764-776, Aug 1984

Hugh C. Lauer , Edwin H. Satterthwaite, The impact of mesa on system design, Proceedings of the 4th international conference on Software engineering, p.174-182, September 17-19, 1979, Munich, Germany

George W. Ernst , William F. Ogden, Specification of Abstract Data Types in Modula, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.522-543, Oct. 1980

Fred Calm , John R. White, An extension to algebraic specifications to incorporate state behavior, Proceedings of the 1979 annual conference, p.212-220, January 1979

J. Eugene Ball, Predicting the effects of optimization on a procedure body, ACM SIGPLAN Notices, v.14 n.8, p.214-220, August 1979

Malcolm P. Atkinson , Ronald Morrison, Procedures as persistent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.539-559, Oct. 1985

Malcolm P. Atkinson , O. Peter Buneman, Types and persistence in database programming languages, ACM Computing Surveys (CSUR), v.19 n.2, p.105-170, June 1987

Stephen P. Reiss, Generation of Compiler Symbol Processing Mechanisms from Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.127-163, April 1983

C. R. Spooner, The ML approach to the readable all-purpose language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.215-243, April 1986

Peter H. Feiler , Raul Medina-Mora, An Incremental Programming Environment, Proceedings of the 5th international conference on Software engineering, p.44-53, March 09-12, 1981, San Diego, California, United States

Charles M. Eastman, System facilities for CAD databases, Proceedings of the 17th conference on Design automation, p.50-56, June 23-25, 1980, Minneapolis, Minnesota, United States

Andy Hisgen , David Alex Lamb , Jonathan Rosenberg , Mark Sherman, A runtime representation for Ada variables and types, ACM SIGPLAN Notices, v.15 n.11, November 1980

Ole Lehrmann Madsen, Block structure and object oriented languages, ACM SIGPLAN Notices, v.21 n.10, p.133-142, Oct. 1986

Mary Shaw , Wm. A. Wulf, Toward relaxing assumptions in languages and their implementations, ACM SIGPLAN Notices, v.15 n.3, p.45-61, March 1980

Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002

Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira, Ownership types for object encapsulation, ACM SIGPLAN Notices, v.38 n.1, p.213-223, January 2003

F. L. Bauer , M. Broy , R. Gnatz , W. Hesse , B. Krieg-Brückner , H. Partsch , P. Pepper , H. Wössner, Towards a wide spectrum language to support program specification and program development, ACM SIGPLAN Notices, v.13 n.12, p.15-24, December 1978

R. C. Holt, A short introduction to Concurrent Euclid, ACM SIGPLAN Notices, v.17 n.5, p.60-79, May 1982

William D. Young , Donald I. Good, Generics and verification in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

Jim des Rivieres , Henry Spencer, Readability and writability in Euclid, ACM SIGPLAN Notices, v.13 n.3, p.49-56, March 1978

Douglas W. Jones, Tasking and parameters: a problem area in Ada, ACM SIGPLAN Notices, v.15 n.5, p.37-40, May 1980

Ted Venema , Jim des Rivieres, Euclid and PASCAL, ACM SIGPLAN Notices, v.13 n.3, p.57-69, March 1978

Ernest Chang , Neil E. Kaden , W. David Elliott, Abstract data types in Euclid, ACM SIGPLAN Notices, v.13 n.3, p.34-42, March 1978

G. W. Ernst , R. J. Hookway , W. F. Ogden, Modular Verification of Data Abstractions with Shared Realizations, IEEE Transactions on Software Engineering, v.20 n.4, p.288-307, April 1994

Hannes Goullon , Rainer Isle , Klaus-Peter Löhr, Dynamic restructuring in an experimental operating system, Proceedings of the 3rd international conference on Software engineering, p.295-304, May 10-12, 1978, Atlanta, Georgia, United States

Paul Smolensky , Brigham Bell , Barbara Fox , Roger King , Clayton Lewis, Constraint-based hypertext for argumentation, Proceeding of the ACM conference on Hypertext, p.215-245, November 1987, Chapel Hill, North Carolina, United States

Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979

Roy H. Campbell , Robert B. Kolstad, Path expressions in pascal, Proceedings of the 4th international conference on Software engineering, p.212-219, September 17-19, 1979, Munich, Germany

Alain Deutsch, Semantic models and abstract interpretation techniques for inductive data structures and pointers, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.226-229, June 21-23, 1995, La Jolla, California, United States

Rhys S. Francis, Containment defines a class of recursive data structures, ACM SIGPLAN Notices, v.18 n.4, p.58-64, April 1983

Donald I. Good, Constructing verified and reliable communications processing systems, ACM SIGSOFT Software Engineering Notes, v.2 n.5, p.8-13, October 1977

Andy Hisgen , David Alex Lamb , Jonathan Rosenberg , Mark Sherman, A runtime representation for Ada variables and types, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.82-90, January 1980

Philip Levy, Disposable and endurant programming, ACM SIGCSE Bulletin, v.12 n.1, p.83-87, February 1980

N. Solntseff, Programming languages for introductory computing courses: a position paper, ACM SIGCSE Bulletin, v.10 n.1, February 1978

Joseph V. Giordano, Some verification problems in Pascal-like languages, ACM SIGSOFT Software Engineering Notes, v.5 n.1, p.18-27, January 1980

Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992

Gary Bray, Implementation implications of Ada generics, ACM SIGAda Ada Letters, v.III n.2, p.62-71, September/October 1983

Bernd Krieg-Brückner, Consistency checking in Ada and Anna: a transformational approach, ACM SIGAda Ada Letters, v.III n.2, p.46-54, September/October 1983

A. J. Gerber, The trouble with mutual recursion in Concurrent Euclid, ACM SIGPLAN Notices, v.20 n.8, August 1985

David M. Harland , Hamish I. E. Gunn, Another look at enumerated types, ACM SIGPLAN Notices, v.17 n.7, July 1982

Glen B. Alleman, Parameter validation for software reliability, ACM SIGPLAN Notices, v.13 n.6, June 1978

Marvin Solomon, Type definitions with parameters, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.31-38, January 23-25, 1978, Tucson, Arizona

Glenn H. MacEwen, Specification prototyping, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.112-119, December 1982

Wolfgang Hoyer, Some remarks on records with variants, ACM SIGPLAN Notices, v.19 n.3, p.46-50, March 1984

David T. Barnard , W. David Elliott , David H. Thompson, Euclid and Modula, ACM SIGPLAN Notices, v.13 n.3, p.70-84, March 1978

Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.2, p.38-78, April 1981

Raymond T. Boute, Simplifying ADA by removing limitations, ACM SIGPLAN Notices, v.15 n.2, p.17-29, February 1980

Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.1, p.45-72, January 1981

Frederic Richard , Henry F. Ledgard, A reminder for language designers, ACM SIGPLAN Notices, v.12 n.12, p.73-82, December 1977

William D. Young , Donald I. Good, Generics and verification in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.123-127, January 1980

Alfs T. Berztiss, Data abstraction, controlled iteration, and communicating processes, Proceedings of the ACM 1980 annual conference, p.197-203, January 1980

Frank DeRemer , Philip Levy , Steve Hanson , Philip Jackson , Richard Jullig , Tom Pittman, Summary of the characteristics of several "modern" programming languages, ACM SIGPLAN Notices, v.14 n.5, May 1979

J. E. Ball , G. J. Williams , J. R. Low, Preliminary ZENO language description, ACM SIGPLAN Notices, v.14 n.9, September 1979

Howard Fosdick, High-level languages for operating systems development: a historical overview, ACM SIGPLAN Notices, v.14 n.7, p.31-37, July 1979

Alan Demers , James Donahue, "Type-completeness" as a language principle, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.234-244, January 28-30, 1980, Las Vegas, Nevada

Edward G. Aseltine , Henry Spencer, Isolation of machine dependencies in Euclid, ACM SIGPLAN Notices, v.13 n.3, p.43-48, March 1978

Daniel M. Berry , Richard L. Schwartz, Type equivalence in strongly typed languages: one more look, ACM SIGPLAN Notices, v.14 n.9, September 1979

Bruce J. Walker , Richard A. Kemmerer , Gerald J. Popek, Specification and verification of the UCLA Unix security kernel, Communications of the ACM, v.23 n.2, p.118-131, Feb. 1980

Gary T. Leavens , Jean-Raymond Abrial , Don Batory , Michael Butler , Alessandro Coglio , Kathi Fisler , Eric Hehner , Cliff Jones , Dale Miller , Simon Peyton-Jones , Murali Sitaraman , Douglas R. Smith , Aaron Stump, Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA

Walter Olthoff, An overview on ModPascal, ACM SIGPLAN Notices, v.20 n.10, p.60-71, Oct. 1985

G. J. Popek , J. J. Horning , B. W. Lampson , J. G. Mitchell , R. L. London, Notes on the design of Euclid, ACM SIGPLAN Notices, v.12 n.3, p.11-18, March 1977

T. A. Kovats, Comments on innovative control constructs in pancode and EPN, ACM SIGPLAN Notices, v.23 n.12, p.151-157, Dec. 1988

P. Grogono, Comments, assertions and pragmas, ACM SIGPLAN Notices, v.24 n.3, p.79-84, March 1989

P. E. Pintelas , K. P. Ventouris , M. D. Papassimakopoulou, A translator from small euclid to pascal, ACM SIGPLAN Notices, v.24 n.5, p.93-101, May 1989

Anthony I. Wasserman, The design of PLAIN: support for systematic programming, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California

Matthew Finifter , Adrian Mettler , Naveen Sastry , David Wagner, Verifiable functional purity in java, Proceedings of the 15th ACM conference on Computer and communications security, October 27-31, 2008, Alexandria, Virginia, USA

David B. Wortman , Richard C. Holt , James R. Cordy , David R. Crowe , Ian H. Griggs, Euclid: a language for compiling quality software, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois

Stephen T. Walker, The advent of trusted computer operating systems, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California

Ralph L. London , Daniel Craigen, Program verification, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003

B. W. Lampson: colleagues

J. J. Horning: colleagues

R. L. London: colleagues

J. G. Mitchell: colleagues

G. J. Popek: colleagues