Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)

by Donald Sannella , Andrzej Tariecki
Citations:143 - 34 self