Formale Begriffvanalyse -- Mathematische Grundlagen (1996)

by B GAN'rER, R WILLE
Venue:In Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA "93