SLR 09 – A model of computation