"Fundamentals of forking."

Victor Harnik, Leo Harrington (1984)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics