Logics Of Programs: Workshop, Carnegie Mellon University Pittsburgh, Pa, June 6–8, 1983