A Programming Language for the Inductive Sets, and Applications (1984)

View PDF

Download Links

by David Harel , Dexter Kozen
Citations:9 - 2 self