A programming logic for F (1992)

by E Poll