Wang, L., G. ; Mendler, Michael: The formal design of a class of computers - its high stage: Abstract microprogramming
. In: Eveking, H. ; Camurati, P. (Hrsg.) : Correct Hardware Design and Verification Methods (CHARME '95). Berlin u.a. : Springer, 1995, (LNCS Bd. 789), S. 84-102.
|