Notes on P-Algebra ( 4 ) : Algebra over Process Structure , Part I .