A HOL basis for reasoning about functional programs (1994)

by Sten Agerholm
Citations:24 - 6 self