ProGram: A Grammar-Based Method for Specification and Hardware (1999)

by Johnny ¨Oberg
Venue:Synthesis of Communication Protocols, ISRN KTH/ESD/AVH–99/3–SE