Publication:4472004
From MaRDI portal
zbMath1043.68583MaRDI QIDQ4472004
Publication date: 3 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1963/19630402.htm
68Q65: Abstract data types; algebraic specification