Proceedings (Műszaki Könyvkiadó, 1987)