Formalization of the classics in program form.

 

v20240901