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

Cached

Download Links

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