An implementation of FSub (1993)

by L Cardelli