ジェラルド・エストリン
"Parallel processing in a restructurable computer system." Electronic Computers, IEEE Transactions on 6 (1963): 747-755.
"SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems." Software Engineering, IEEE Transactions on 2 (1986): 293-311.