Algebraic specifications in software engineeringIvo van Horebeek · First published 1989 · Latest edition 2011Open the Tome