K. P. Jantke

• Mathematical methods of specification and synthesis of software systems '85