A proof rule for process-creation - Boer, Frank S. de (1987)