"POSIX Threads"@cs .