This material is copyrighted by its authors. It is placed here for their convenience. Do not use or copy without prior permission.