Gaster, Benedict R., Renney, Nathan, Mitchell, Tom, "Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework", , 2018