,
SIAM
SIAM Journal on Computing
Computer Security

Rutten, J. (1990). Semantic correctness for a parallel object-oriented language. SIAM Journal on Computing, 19(2), 341–383.