A PMS level notation for the description and simulation of digital systems Jovan Djordjevic, Mario R. Barbacci, Brad Hosler [doi] [Google Scholar] [DBLP] [Citeseer] [url] Comput. J. 28(4) Pages 357-365 1985 Note(s): ISPS