Books by International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany) on BookTides.