Petrus Henricus Antonius van der Putten

1948

• Specification of reactive hardware/software systems