TY  - BOOK
A1  - Motzer, Renate
T1  - Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64747
SN  - 978-3-8265-1195-0
N1  - Zugl.: München, Univ., Diss., 1995
PB  - Shaker Verlag
CY  - Aachen
ER  -