Banatre, J.P. - Le Metayer, Daniel "A new approach to systematic program derivation", in Proceedings of the 1987 Workshop on Software Specification and Design (Monterey April 3-4), IEEE pp208-215

Languages mentioned

• Gamma {1990} Massively parallel language derived from chemical reactions