Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 - Bochmann, G.,von; Probst, D.K (Springer Verlag, 1993)