From IF to BI: A tale of dependence and separation () - Abramsky, S (2009)