From my "AUTOMAT" 2013 program