Bounded seas. - Jan Kurs; Mircea Lungu; Rathesan Iyadurai; Oscar Nierstrasz (Comput. Lang. Syst. Struct., 2015)