A PMS Level Notation for the Description and Simulation of Digital Systems. - Jovan Djordjevic; Mario Barbacci; Brad Hosler (Comput. J., 1985)