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