Substitution: Syntactic versus Semantic
Lamport, Leslie
SRC-TN-1998-004 Mar 1998 External
Back to Index