[MI] ================================================ AMAST Links 02 06 8th International Conference on Formal Description Techniques, FORTE'95 for Distributed Systems and Communications Protocols Montreal, Quebec, Canada, October 17 - 20, 1995 The _FORTE'95 Preliminary Program_ is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206MI.txt