PFTL: a systematic approach for describing filesystem tree processors - Carvalho, Nuno (2011)