**Is Computing an Experimental Science**

R.Milner

*LFCS report ECS-LFCS-86-1***Standard ML**

Harper, MacQueen and Milner

*LFCS report ECS-LFCS-86-2*

**Functor-Category Semantics of Programming Languages and Logics**

R. Tennent

*LFCS report ECS-LFCS-86-3*

**Context-Dependent Bisimulation between Processes**

K. Larsen

*LFCS report ECS-LFCS-86-4 (also published as CST-37-86)*

**Semantical Analysis of Specification Logic**

R.Tennent

*LFCS report ECS-LFCS-86-5***Quantification in Algol-like Languages**

R.Tennent

*LFCS report ECS-LFCS-86-6*

**A Calculus of Communicating Systems**

R.Milner

*LFCS report ECS-LFCS-86-7*

**A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours**

R.Milner

*LFCS report ECS-LFCS-86-8*

**Computing with Categories**

R.Burstall and D.Rydeheard

*LFCS report ECS-LFCS-86-9*

**A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments**

R.Burstall and J.Goguen

*LFCS report ECS-LFCS-86-10*

**Modules and Persistence in Standard ML**

R.Harper

*LFCS report ECS-LFCS-86-11*

**Research in Interactive Theorem Proving at Edinburgh University**

R.Burstall

*LFCS report ECS-LFCS-86-12*

**A Complete Protocol Verification using Relativized Bisimulation**

K. Larsen and R. Milner

*LFCS report ECS-LFCS-86-13*

**Introduction to Standard ML**

R.Harper

*LFCS report ECS-LFCS-86-14*

**Formal Specification of ML Programs**

D.Sannella

*LFCS report ECS-LFCS-86-15*

**Extended ML: An institution-independent framework for formal program development**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-86-16*

**Toward formal development of programs from algebraic specifications: implementations revisited**

D.Sannella and A.Tarlecki

*LFCS report ECS-LFCS-86-17*