Без заголовка

Goguen кстати придумал семейство языков, в итоге превратившихся в Maude