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