Proceedings July 19 - 21m 1982, University of Pittsburgh, Pittsburgh, PA (IEEE Computer Society Press, 1982)