\File{figureB\-15.ry},{02:12},{Jan 26 1990}
\L{\LB{EVAL \{ iso isode(17) demo(1) eval(8) abstract\-syntax(1) \}}}
\L{\LB{}}
\L{\LB{\Proc{DEFINITIONS}\K{DEFINITIONS} ::=}}
\L{\LB{}}
\L{\LB{\K{BEGIN}}}
\L{\LB{}}
\L{\LB{\K{IMPORTS}}}
\L{\LB{    \K{APPLICATION}\-\K{CONTEXT}, \K{APPLICATION}\-\K{SERVICE}\-\K{ELEMENT}, aCSE,}}
\L{\LB{}\Tab{8}{    aCSE\-abstract\-syntax}}
\L{\LB{}\Tab{8}{\K{FROM} Remote\-Operations\-Notation\-extension \{}}
\L{\LB{}\Tab{8}{    joint\-iso\-ccitt remote\-operations(4) notation\-extension(2)}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{    \K{OPERATION}, \K{ERROR}, \K{BIND}, \K{UNBIND}}}
\L{\LB{}\Tab{8}{\K{FROM} Remote\-Operations\-Notation \{}}
\L{\LB{}\Tab{8}{    joint\-iso\-ccitt remote\-operations(4) notation(0)}}
\L{\LB{}\Tab{8}{\}}}
\L{\LB{}}
\L{\LB{    rOSE \K{FROM} Remote\-Operations\-APDUs \{}}
\L{\LB{}\Tab{8}{    joint\-iso\-ccitt remote\-operations(4) apdus(1)}}
\L{\LB{}\Tab{8}{\};}}
\L{\LB{...}}
