A formal framework for the representation of stack-based terrains. Issue 10 (3rd October 2018)