Yoann Marquer, Frédéric Gava: An Axiomatization for BSP Algorithms. ICA3PP (3) 2018: 72-88