Si(ML) : a prototype interpreter for a subset of (ML (1991)

by ten Teije, A van Harmelen, F, M Reinders