This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...