A HOL basis for reasoning about functional programs (1994)

by Sten Agerholm
Citations:23 - 6 self