1. Astesiano, E., and Cerioli, M., Multiparadigm Specification Languages: a First Attempt at Foundations, in this volume.
2. Baeten, J.C.M., and Weijland, W.P., Process Algebra, Cambridge Tracts in Theoretical Computer Science, 18, Cambridge University Press (1990).
3. Bauer, F.L., Moller, B., Parsch, H., and Pepper, P., Programming by formal reasoning: computer-aided intuition-guided programming, IEEE Transactions on Software Engineering, 15 (2), 165–180 (1989).
4. Bergstra, J.A., Heering, J., and Klint, P., Module Algebra, Journal of the ACM, 37 (2), 335–372 (1990).
5. Bolignano, D., and Debabi, M., Higher Order Communicating Processes with Value-Passing, Assignment and Return of Results, Algorithms and Computation, Lecture Notes in Computer Science, 650, 319–331, Springer-Verlag (1992).