Hillebrand, J. A. (1996). Transforming an ASF+SDF Specification into a ToolBus Application. (Technical Report; No. P9612). onbekend (FdL).
Sellink, M. P. A. (1996). Transforming an ASF+SDF Specification into a ToolBus Application. (Technical Report; No. P9611). onbekend (FdL).
Dinesh, T. B., & Uskudarli, S. M. (1996). The VAS formalism in VASE. (Technical Report; No. P9609). onbekend (FdL).
Hillebrand, J. A. (1996). A small language for the specification of Grid Protocols. (Technical Report; No. P9608). onbekend (FdL).
Brunekreef, J. J. (1996). A transformation tool for pure Prolog programs: the algebraic specification. (Technical Report; No. P9607). onbekend (FdL).
Visser, E. (1996). Solving type equations in multi-level specifications (preliminary version). (Technical Report; No. P9606). onbekend (FdL).
D'Argenio, P. R., & Verhoef, C. (1996). A general conservative extension theorem in process algebras with inequalities. (Technical Report; No. P9605). onbekend (FdL).
Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives (revised version of P9602). (Technical Report; No. P9602b). onbekend (FdL).
Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives. (Technical Report; No. P9602). onbekend (FdL).