A programming language to support transformational refinement
By: by Stavros Michael Macrakis
Published: 1986
Language: eng
Number of pages: 196
Subjects: Programming languages (Electronic computers); Ada (Computer program language)
Notes: Thesis (Ph. D.)--Harvard University, 1986.

Bibliography: leaves 185-196.