Josep Díaz, Fernando Orejas
Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development
TAPSOFT, Vol.1: AS, 1989.

@proceedings{AS-v1-1989,
	doi           = "10.1007/3-540-50939-9",
	editor        = "Josep Díaz and Fernando Orejas",
	isbn          = "3-540-50939-9",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development}",
	volume        = 351,
	year          = 1989,
}

Contents (4 items)

AS-1989-Hoare #programming language

The Varieties of Programming Language (CARH), pp. 1–18.

AS-1989-LassezM #constraints #independence

Independence of Negative Constraints (JLL, KM), pp. 19–27.

AS-1989-Lescanne

Completion Procedures as Transition Rules + Control (PL), pp. 28–41.

AS-1989-WirsingB #composition #framework #implementation #specification

A Modular Framework for Specification and Implementation (MW, MB), pp. 42–73.