Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development
TAPSOFT, Vol.1: AS, 1987.

@proceedings{AS-v1-1987,
	doi           = "10.1007/3-540-17660-8",
	editor        = "Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari",
	isbn          = "3-540-17660-8",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development}",
	volume        = 249,
	year          = 1987,
}

Contents (4 items)

AS-1987-AstesianoR #calculus #concurrent

SMoLCS-Driven Concurrent Calculi (EA, GR), pp. 169–201.

AS-1987-Milner #proving

Dialogue with a Proof System (RM), pp. 271–275.

AS-1987-Huet #calculus #induction

Induction Principles Formalized in the Calculus of Constructions (GPH), pp. 276–286.

AS-1987-Thatcher #algebra #semantics

Algebraic Semantics (JWT), p. 287.