Theoretical and practical aspects of type and effect inference (1993)

by J P Talpin