Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
Legal programmes and accounting conventions
Resource-restricted programmes › Legal programmes and accounting conventions · lines 1024–1029
This proves the programme interface described in CheungEn02B,CheungEn02C; no apparatus-level conformity is deduced from it.