Essential Concepts of Algebraic Specification and Program Development (1996)

by Donald Sannella , Andrzej Tarlecki
Citations:57 - 16 self