Title: A programming language to support transformational refinement
Subjects: Programming languages (Electronic computers), Ada (Computer program language)