Venari/ML interfaces and examples (1993)

by J M Wing, M Faehndrich, N Haines, K Kietzke, D Kindred, J G Morrisett, S Nettles