DMCA

An Introduction to Abstract State Machines

by U. Glässer , R. Gotzhein , A. Prinz , Uwe Glässer