Wang, L., G. ; Mendler, Michael: Abstraction of hardware construction
. In: Dowek, G. ; Heering, J. ; Möller, B. ; Meinke, K. (Hrsg.) : Higher-Order Algebra, Logic, and Term Rewriting. HOA'95. Bd. LNCS1074. Berlin u.a. : Springer, 1995, S. 264-287.
Institution: Professur für Grundlagen der Informatik
|