Motoki Ide, Kunitake Kaneko, Fumio Teraoka: Validation of session layer protocols and API in ZNA. AINTEC 2012: 77-84