Pafesd: Process Algebras For Electronic System Design door Ka Lok Man