Grazyna Mirkowska Andrzej Salwicki The Algebraic Specifications do not Have the Tennenbaum Property. 141-152 1996 28 Fundam. Inform. 1-2 db/journals/fuin/fuin28.html#MirkowskaS96