The existence of refinement mappings.
Abadi, Martin; Lamport, Leslie.
SRC-RR-29
Keyword(s): Mappings-(Mathematics);Typesetting.
42 Pages
Back to Index