| From: Henry Lenzi (henry.lenzi at gmail.com) Date: Fri May 18 04:52:49 EDT 2007 |
> The ADJ group (Goguen, Thatcher, Wagner and someone whose name I > forgot) started working and writing on algebraic data specifications > around 1970. > > -- Matthias That's the reference I have. BTW, IIRC, Goguen's work produced an interesting modern programming language, called Maude. Me thinks... Henry Lenzi
| Posted on the users mailing list. |
![[logo]](/logo.png){kind=logo}