Martin Kooij. Interface specification with temporal logic. In Sol J. Greenspan, editor, Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 104-110, ACM, 1989. [doi]
Abstract is missing.