Maillardand Mellies. A Fibrational Account of Local States. IEEE, 2015, doi:10.1109/lics.2015.45.