1plan9\.bell-labs\.com astro 2lucent\.com astro 3.*research\.bell-labs\.com astro 4.*\.oz.au acsnet 5