Franco di Primio

CMS(Consistency Maintenance System)
Micro common flavors
Viewing reasoning as program execution