Boris A. Trakhtenbrot On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity. 83-95 1997 30 Fundam. Inform. 1 db/journals/fuin/fuin30.html#Trakhtenbrot97