The Standard ML of New Jersey library reference manual (1993)