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

by Donald Sannella , Andrzej Tariecki
Citations:141 - 32 self