Kari Granö, Jukka Paakki: From Layer to Layer - Object-Oriented Protocol Refinement in Kannel. COORDINATION 1997: 355-373