Understanding Behavioral Synthesis (2000)

by J P Elliot