C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

TAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989