Cliff B. Jones. Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design, 8(2):105-122, 1996.
@article{Jones96:0,
title = {Accommodating Interference in the Formal Design of Concurrent Object-Based Programs},
author = {Cliff B. Jones},
year = {1996},
tags = {object-oriented programming, rule-based, subject-oriented programming, design, feature-oriented programming},
researchr = {https://researchr.org/publication/Jones96%3A0},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {8},
number = {2},
pages = {105-122},
}