Kurs, Jan; Lungu, Mircea; Iyadurai, Rathesan; Nierstrasz, Oscar Marius (2015). Bounded seas. Computer languages, systems & structures, 44, pp. 114-140. Pergamon Press 10.1016/j.cl.2015.08.002
