Jovan Djordjevic Mario Barbacci Brad Hosler A PMS Level Notation for the Description and Simulation of Digital Systems. 357-365 1985 28 Comput. J. 4 db/journals/cj/cj28.html#DjordjevicBH85