Large-scale system development using Abstract Data Types and refinement. - Fürst, Andreas; Hoang, Thai Son; Basin, David; Sato, Naoto; Miyazaki, Kunihiko (Science of Computer Programming, 2016)