Formalising Interface Specifications door L.C.M. van Gool