All About Maude - A High-Performance Logical Framework
-
övrigt
,
Engelska, 2007