1 livres dans ce genre
Design of totally self-checking asynchronous sequential machines
Daniel Avery Pitt
