Dines Bjørner
-
On correct program development
ICSE '79 Proceedings of the 4th international conference on Software engineering
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness