NANEVSKI, A. FINITE PROCESS ALGEBRAS. Matematichki Bilten, v. 22, n. 1, p. 69–82, 1 Jan.1998.