Formal Methods in Digital Design

J. Herbert , C.J. van Rijsbergen (Редактор) , Samson Abramsky (Редактор)