L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Barry K. Rosen
SWAT 1972
Barry K. Rosen
Journal of the ACM