Concurrently operating computer systems. - Alan L. Leiner; William A. Notz; Jay L. Smith; Rosalind B. Marimont (IFIP Congress, 1959)

A New Method of Checking the Consistency of Precedence Matrices. - Rosalind B. Marimont (J. ACM, 1959)