zbMath0647.68008MaRDI QIDQ3792213
Francesco Parisi-Presicce
Publication date: 1988
zbMATH Keywords
iteration; fixed point equation; regular languages; module specifications
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items