ACM transactions on computer systems (ACM series on systems and programming, 1983)