Formal Description of Programming Concepts: A Software Engineering Viewpoint.

Dines Bjrner

Browse the full MFCS paper archive.