Gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Covers all the essentials in order to provide the reader with a better understanding.