Nicos Angelopoulos: Notes on the Implementation of FAM. PLP@ILP 2016: 46-58