Functional Programming Testing and Analysis (1987)

by William E Howden