Y.Takayama "SHUTEN: A Constructive Programming System" JJSAI 7(4) 1989
(1989)
Languages mentioned
DOHJI
{1991}