Formalization of Generic Algorithm
Generic algorithm in modules.
formalization.