IFIP TC-10 International Conference on Computer Hardware Description Languages and Their Applications (5th 1981 Kaiserslautern, Germany)