Harry Rudin
-
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
Computer Communications