Klaus-Dieter Schewe, Flavio Ferrarotti: A Logic for Reflective ASMs. ABZ 2020: 93-106