Simple concurrent constraint language and concurrent reflection - Sugano, Hiroyasu (1992)