Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Paper
How practical is POPL?
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989