STREAM: A scheme language for formally describing digital circuits | Publicación