C B Jay and J Noble "Shaping object-oriented programs"
(2000)
Languages mentioned
FISh
{1997}
SML/NJ
{1986} Standard ML of New Jersey.