Executable Description of the OSI Transport Service in Prolog. - Luigi Logrippo; Didier Simon; Hasan Ural (PSTV, 1984)