Joseph A. Goguen Kai Lin Specifying, Programming and Verifying with Equational Logic. 1-38 2005 conf/birthday/2005gabbay2 We Will Show Them! (2) db/conf/birthday/Gabbay2.html#GoguenL05