Foreword

Joost-Pieter Katoen
2002 Theoretical Computer Science  
doi:10.1016/s0304-3975(01)00042-1 fatcat:limdbji7r5bjfj2sf4btxi7q5i