Author: International Symposium on System Synthesis (9th 1996 La Jolla, Calif.)