@unpublished{godfroy:hal-01390838, TITLE = {{Abstract Self Modifying Machines}}, AUTHOR = {Godfroy, Hubert and Marion, Jean-Yves}, URL = {https://inria.hal.science/hal-01390838}, NOTE = {working paper or preprint}, YEAR = {2016}, MONTH = Nov, PDF = {https://inria.hal.science/hal-01390838/file/lola.pdf}, HAL_ID = {hal-01390838}, HAL_VERSION = {v1}, }