Algebraic specification

ID: algebraic-specification

New to topics? Read the docs here!