Reasoning About Biochemical Processes