Program veri in Synthetic Domain Theory (1995)

by B Reus
Venue:Ph. D. thesis, LMU, Munchen