Derivation Of Process Algebraic Models Of Biochemical Systems door Ritesh Krishna