Search dblp for Publications

export results for "stream:streams/journals/stp:"

 download as .bib file

@article{DBLP:journals/stp/BorgerS00,
  author    = {Egon B{\"{o}}rger and
               Wolfram Schulte},
  title     = {Initialization problems for Java},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {175--178},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003789900003},
  doi       = {10.1007/s003789900003},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BorgerS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/HullNHR00,
  author    = {M. Elizabeth C. Hull and
               Peter N. Nicholl and
               Philip Houston and
               Niall Rooney},
  title     = {Towards a visual approach for component-based software development},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {154--160},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003789900001},
  doi       = {10.1007/s003789900001},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/HullNHR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lee00,
  author    = {Mark H. Lee},
  title     = {Model-based reasoning: a principled approach for software engineering},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {179--189},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003780000005},
  doi       = {10.1007/s003780000005},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Lee00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MansharamaniKVM00,
  author    = {Rajesh K. Mansharamani and
               Prasad Kallepalli and
               Harsha Veerabhadraiah and
               Benny Mathew},
  title     = {{RVGEN:} a tool for generation of random variates},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {161--167},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003789900002},
  doi       = {10.1007/s003789900002},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/MansharamaniKVM00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pomberger00,
  author    = {Gustav Pomberger},
  title     = {Editorial},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {153},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003780000007},
  doi       = {10.1007/s003780000007},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Pomberger00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Sanders00,
  author    = {Beverly A. Sanders},
  title     = {Using atomic await commands to develop concurrent programs in Java},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {168--174},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003789900004},
  doi       = {10.1007/s003789900004},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Sanders00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WildmanFC00,
  author    = {Luke Wildman and
               Colin J. Fidge and
               David A. Carrington},
  title     = {Computer-aided development of a real-time program},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {4},
  pages     = {190--202},
  year      = {2000},
  url       = {https://doi.org/10.1007/s003780000006},
  doi       = {10.1007/s003780000006},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/WildmanFC00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Boszormenyi98,
  author    = {L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi},
  title     = {Why Java is not my favorite first-course language},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {3},
  pages     = {141--145},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050017},
  doi       = {10.1007/s003780050017},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Boszormenyi98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Broy98,
  author    = {Manfred Broy},
  title     = {A uniform mathematical concept of a component (Appendix to M. Broy
               et al.: "What characterizes a (software) component?"},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {57--59},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050008},
  doi       = {10.1007/s003780050008},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Broy98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BroyDHKPPPSS98,
  author    = {Manfred Broy and
               Anton Deimel and
               Juergen Henn and
               Kai Koskimies and
               Frantisek Plasil and
               Gustav Pomberger and
               Wolfgang Pree and
               Michael Stal and
               Clemens A. Szyperski},
  title     = {What characterizes a (software) component?},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {49--56},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050007},
  doi       = {10.1007/s003780050007},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BroyDHKPPPSS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Cook98,
  author    = {Robert P. Cook},
  title     = {An on-line {C++} class: implementation and experience},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {2},
  pages     = {61--69},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050009},
  doi       = {10.1007/s003780050009},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Cook98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Deimel98,
  author    = {Anton Deimel},
  title     = {The {SAP} {R/3} Business Framework},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {29--36},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050005},
  doi       = {10.1007/s003780050005},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Deimel98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/DolinskyP98,
  author    = {Jens{-}Uwe Dolinsky and
               Thorsten Pawletta},
  title     = {A lightweight class library for extended persistent object management
               in {C++}},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {2},
  pages     = {71--79},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050010},
  doi       = {10.1007/s003780050010},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/DolinskyP98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Goldberg98,
  author    = {Adele Goldberg},
  title     = {A reuse business model},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {11--13},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050003},
  doi       = {10.1007/s003780050003},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Goldberg98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Henn98,
  author    = {Juergen Henn},
  title     = {{IBM} San Francisco - Object-oriented infrastructure and reusable
               business components for distributed, multi-platform business applications
               - implemented entirely in Java},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {37--48},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050006},
  doi       = {10.1007/s003780050006},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Henn98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Heuberger98,
  author    = {Philipp A. Heuberger},
  title     = {The minimal user interface of a simple refinement tool},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {2},
  pages     = {89--95},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050012},
  doi       = {10.1007/s003780050012},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Heuberger98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lampe98,
  author    = {J{\"{u}}rgen Lampe},
  title     = {Depot4 - {A} generator for dynamically extensible translators},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {2},
  pages     = {97--108},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050013},
  doi       = {10.1007/s003780050013},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Lampe98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/ParrC98,
  author    = {Gerard Parr and
               Kevin Curran},
  title     = {Dynamic multimedia protocol stacks},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {2},
  pages     = {81--88},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050011},
  doi       = {10.1007/s003780050011},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/ParrC98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/PlasilS98,
  author    = {Frantisek Plasil and
               Michael Stal},
  title     = {An architectural view of distributed objects and components in CORBA,
               Java {RMI} and {COM/DCOM}},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {14--28},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050004},
  doi       = {10.1007/s003780050004},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/PlasilS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pomberger98,
  author    = {Gustav Pomberger},
  title     = {Editorial},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {1},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050001},
  doi       = {10.1007/s003780050001},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Pomberger98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Radenski98,
  author    = {Atanas Radenski},
  title     = {Module embedding},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {3},
  pages     = {122--129},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050015},
  doi       = {10.1007/s003780050015},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Radenski98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SajaniemiI98,
  author    = {Jorma Sajaniemi and
               Kari Ikonen},
  title     = {VinEd - {A} system for program manipulation through user-definable
               simultaneous views},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {3},
  pages     = {130--140},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050016},
  doi       = {10.1007/s003780050016},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/SajaniemiI98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Szyperski98,
  author    = {Clemens A. Szyperski},
  title     = {Emerging component software technologies - a strategic comparison},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {1},
  pages     = {2--10},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050002},
  doi       = {10.1007/s003780050002},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Szyperski98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/TolemanW98,
  author    = {Mark A. Toleman and
               Jim Welsh},
  title     = {Systematic evaluation of design choices for software development tools},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {3},
  pages     = {109--121},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050014},
  doi       = {10.1007/s003780050014},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/TolemanW98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/ZhouWC98,
  author    = {Yan Zhou and
               Dawn Wilkins and
               Robert P. Cook},
  title     = {Neural network control for a fire-fighting robot},
  journal   = {Softw. Concepts Tools},
  volume    = {19},
  number    = {3},
  pages     = {146--152},
  year      = {1998},
  url       = {https://doi.org/10.1007/s003780050018},
  doi       = {10.1007/s003780050018},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/ZhouWC98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackhouseVW97,
  author    = {Roland Carl Backhouse and
               Richard Verhoeven and
               Olaf Weber},
  title     = {Math/pad: {A} System for On-Line Preparation of Mathematical Documents},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {2},
  pages     = {80},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BackhouseVW97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Broy97,
  author    = {Manfred Broy},
  title     = {Towards a Mathematical Concept of a Component and its Use},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {3},
  pages     = {137},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Broy97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CaoP97,
  author    = {Jiannong Cao and
               Mathew Pole},
  title     = {A Software Environment for Simulating Distributed Task-Scheduling
               Algorithms},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {3},
  pages     = {125--136},
  year      = {1997},
  timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/CaoP97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/ChenL97,
  author    = {Tsong Yueh Chen and
               Chi Keen Low},
  title     = {Error Detection in {C++} through Dynamic Data Flow Analysis},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {1},
  pages     = {1--13},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/ChenL97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/ChildsS97,
  author    = {Bart Childs and
               Johannes Sametinger},
  title     = {Analysis of Literate Programs from the Viewpoint of Reuse},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {1},
  pages     = {35},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/ChildsS97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CorradiLZ97,
  author    = {Antonio Corradi and
               Letizia Leonardi and
               Franco Zambonelli},
  title     = {An Object-Oriented Approach to Structured Parallel Programming},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {3},
  pages     = {110--124},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CorradiLZ97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CregutC97,
  author    = {Xavier Cr{\'{e}}gut and
               Bernard Coulette},
  title     = {{PBOOL:} an Object-Oriented Language for Definition and Reuse of Enactable
               Processes},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {2},
  pages     = {47--62},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CregutC97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Deinhammer97,
  author    = {Guido Deinhammer},
  title     = {A New Adaptive Coding Scheme and its Application to LZ-Based Data
               Compression},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {4},
  pages     = {157--168},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Deinhammer97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Franz97,
  author    = {Michael Franz},
  title     = {The Programming Language Lagoona - {A} Fresh Look at Object-Orientation},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {1},
  pages     = {14--26},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Franz97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Goos97,
  author    = {Gerhard Goos},
  title     = {Sather-K - The Language},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {3},
  pages     = {91--109},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Goos97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Hrebabetzky97,
  author    = {Fran Hrebabetzky},
  title     = {Closed-Loop Control with Oberon},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {2},
  pages     = {73--79},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Hrebabetzky97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lampe97,
  author    = {J{\"{u}}rgen Lampe},
  title     = {Statistics about Modules of the Oberon System},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {1},
  pages     = {27--34},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Lampe97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/McCartney97,
  author    = {Paul McCartney},
  title     = {A Usability Study of End-User Construction of Distributed Multimedia
               Applications},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {2},
  pages     = {63--72},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/McCartney97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pree97,
  author    = {Wolfgang Pree},
  title     = {Component-Based Software Development - {A} New Paradigm in Software
               Engineering?},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {4},
  pages     = {169--174},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Pree97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Salomon97,
  author    = {Ralf Salomon},
  title     = {Improving the Preformance of Genetic Algorithms through Derandomization},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {4},
  pages     = {175},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Salomon97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/XueD97,
  author    = {Jinyun Xue and
               Ruth Davis},
  title     = {A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program},
  journal   = {Softw. Concepts Tools},
  volume    = {18},
  number    = {4},
  pages     = {149--156},
  year      = {1997},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/XueD97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/AlurHP96,
  author    = {Rajeev Alur and
               Gerard J. Holzmann and
               Doron A. Peled},
  title     = {An Analyzer for Message Sequence Charts},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {2},
  pages     = {70--77},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/AlurHP96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackS96,
  author    = {Ralph{-}Johan Back and
               Kaisa Sere},
  title     = {From Action Systems to Modular Systems},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {1},
  pages     = {26--39},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BackS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Bredereke96,
  author    = {Jan Bredereke},
  title     = {Detection of Feature Interactions in Intelligent Networks by Verification},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {3},
  pages     = {121--139},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Bredereke96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CiampoliniLM96,
  author    = {Anna Ciampolini and
               Evelina Lamma and
               Paola Mello},
  title     = {An Optimized Implementation of a Dynamic Modular Logic Language},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {4},
  pages     = {148--162},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CiampoliniLM96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CleavelandNSL96,
  author    = {Rance Cleaveland and
               V. Natarajan and
               Steve Sims and
               Gerald L{\"{u}}ttgen},
  title     = {Modeling and Verifying Distributed Systems Using Priorities: {A} Case
               Study},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {2},
  pages     = {50--62},
  year      = {1996},
  timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CleavelandNSL96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Cook96,
  author    = {Robert P. Cook},
  title     = {The Type Extensible Architecture of a Simple Database System},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {4},
  pages     = {141--147},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Cook96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CookP96,
  author    = {Robert P. Cook and
               Krishnan Pillaipakkamnatt},
  title     = {An Introduction to Opaque Types},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {1},
  pages     = {1--5},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CookP96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Doberkat96,
  author    = {Ernst{-}Erich Doberkat},
  title     = {A Language for Specifying Hyperdocuments},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {4},
  pages     = {163--172},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Doberkat96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Holzmann96,
  author    = {Gerard J. Holzmann},
  title     = {Early Fault Detection Tools},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {2},
  pages     = {63--69},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Holzmann96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lowe96,
  author    = {Gavin Lowe},
  title     = {Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using
               {FDR}},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {3},
  pages     = {93--102},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Lowe96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MargariaS96,
  author    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Foreword},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {2},
  pages     = {49},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/MargariaS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/NavratB96,
  author    = {Pavol N{\'{a}}vrat and
               M{\'{a}}ria Bielikov{\'{a}}},
  title     = {Knowledge-Controlled Version Selection in Software Configuration Management},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {1},
  pages     = {40},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/NavratB96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Stary96,
  author    = {Christian Stary},
  title     = {Integrating Workflow Representations into User Interaface Design Representations},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {4},
  pages     = {173},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Stary96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMC96,
  author    = {Bernhard Steffen and
               Tiziana Margaria and
               Andreas Cla{\ss}en},
  title     = {Heterogeneous Analysis and Verification for Distributed Systems},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {1},
  pages     = {13--25},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/SteffenMC96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SteffenMCB96,
  author    = {Bernhard Steffen and
               Tiziana Margaria and
               Andreas Cla{\ss}en and
               Volker Braun},
  title     = {Incremental Formalization: {A} Key to Industrial Success},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {2},
  pages     = {78},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/SteffenMCB96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Tretmans96,
  author    = {Jan Tretmans},
  title     = {Test Generation with Inputs, Outputs and Repetitive Quiescence},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {3},
  pages     = {103--120},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Tretmans96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Wirth96,
  author    = {Niklaus Wirth},
  title     = {Tasks versus Threads: An Alternative Multiprocessing Paradigm},
  journal   = {Softw. Concepts Tools},
  volume    = {17},
  number    = {1},
  pages     = {6--12},
  year      = {1996},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Wirth96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BreuB95,
  author    = {Ruth Breu and
               Michael Breu},
  title     = {A Methodology of Inheritance},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {3},
  pages     = {113--123},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BreuB95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CookM95,
  author    = {Robert P. Cook and
               Richard G. McDaniel},
  title     = {The StarLite Algorithm Animator},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {1},
  pages     = {1--11},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CookM95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Crelier95,
  author    = {R{\'{e}}gis Crelier},
  title     = {Extending Module Interfaces without Invalidating Clients},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {2},
  pages     = {49--62},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Crelier95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Franz95,
  author    = {Michael Franz},
  title     = {Protocol Extension: {A} Technique for Structuring Large Extensible
               Software-Systems},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {2},
  pages     = {86--94},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Franz95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GaskellP95,
  author    = {Craig Gaskell and
               Roger Phillips},
  title     = {Software Architecture of the Executable Graphical Specification Tool
               {EGS1}},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {3},
  pages     = {124--135},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/GaskellP95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GravellP95,
  author    = {Andrew M. Gravell and
               Chris H. Pratten},
  title     = {Formal Methods and Open Systems},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {4},
  pages     = {183},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/GravellP95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/HougaardSA95,
  author    = {Ole I. Hougaard and
               Michael I. Schwartzbach and
               Hosein Askari},
  title     = {Type Inference for Turbo Pascal},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {4},
  pages     = {160--169},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/HougaardSA95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/KellerSLOT95,
  author    = {Rudolf K. Keller and
               Xijin Shen and
               Richard Lajoie and
               Marianne Ozkan and
               Tao Tao},
  title     = {Environment Support for Business Reengineering: The Macrotec Approach},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {1},
  pages     = {31--40},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/KellerSLOT95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/LalisS95,
  author    = {Spyros Lalis and
               Beverly A. Sanders},
  title     = {From Persistent Objects to Object Transmission in Distributed Systems
               Using Oberon},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {1},
  pages     = {12--19},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/LalisS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/McCartneyGS95,
  author    = {Paul McCartney and
               Kenneth J. Goldman and
               David E. Saff},
  title     = {{EUPHORIA:} End-User Construction of Direct Manipulation User Interfaces
               for Distributed Applications},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {4},
  pages     = {147--159},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/McCartneyGS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MendelzonS95,
  author    = {Alberto O. Mendelzon and
               Johannes Sametinger},
  title     = {Reverse Engineering by Visualizing and Querying},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {4},
  pages     = {170--182},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/MendelzonS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Moser95,
  author    = {Simon Moser},
  title     = {Metamodels for Object Oriented Systems: {A} Proposition of Metamodels
               describing Object Oriented Systems at Consecutive Levels of Abstraction},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {2},
  pages     = {63--80},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Moser95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/PreePSS95,
  author    = {Wolfgang Pree and
               Gustav Pomberger and
               Albert Schappert and
               Peter Sommerlad},
  title     = {Active Guidance of Framework Development},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {3},
  pages     = {136},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/PreePSS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/TurnerR95,
  author    = {Christopher D. Turner and
               David J. Robson},
  title     = {A State-Based Approach to the Testing of Class-Based Programs},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {3},
  pages     = {106--112},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/TurnerR95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Volpano95,
  author    = {Dennis M. Volpano},
  title     = {Type Checking Coherent Overloading},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {2},
  pages     = {81--85},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Volpano95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/YuenF95,
  author    = {Chung{-}Kwong Yuen and
               Ming{-}Dong Feng},
  title     = {Iterative Computation and Speculative Processing},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {1},
  pages     = {41},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/YuenF95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/YuenF95a,
  author    = {Chung{-}Kwong Yuen and
               Ming{-}Dong Feng},
  title     = {BaLinda Plus: Adding Objects to Parallel Languages},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {3},
  pages     = {95--105},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/YuenF95a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Zimmer95,
  author    = {J. Adrian Zimmer},
  title     = {Type Substitution in Compiled Code},
  journal   = {Softw. Concepts Tools},
  volume    = {16},
  number    = {1},
  pages     = {20--30},
  year      = {1995},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Zimmer95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BischofbergerKS94,
  author    = {Walter R. Bischofberger and
               Thomas Kofler and
               Bruno Sch{\"{a}}ffer},
  title     = {Object-Oriented Programming Environments: Requirements and Approaches},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {2},
  pages     = {49--60},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BischofbergerKS94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BrownK94,
  author    = {Timothy B. Brown and
               Takayuki Dan Kimura},
  title     = {Completeness of a Visual Computation Model},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {1},
  pages     = {34--48},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/BrownK94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CapelT94,
  author    = {Manuel I. Capel and
               Jos{\'{e}} M. Troya},
  title     = {An Object-Based Tool and Methodological Approach for Distributed Programming},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {4},
  pages     = {177},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CapelT94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CotronisRE94,
  author    = {John Yiannis Cotronis and
               Apostolos Nikolaos Refenes and
               Eugene Eberbach},
  title     = {Language Support for Concurrent Symbolic and Numeric Systems},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {3},
  pages     = {105--124},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/CotronisRE94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GiordanoM94,
  author    = {Laura Giordano and
               Alberto Martelli},
  title     = {Structured Prolog: {A} Language for Structured Logic Programming},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {3},
  pages     = {125},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/GiordanoM94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Gutknecht94,
  author    = {J{\"{u}}rg Gutknecht},
  title     = {Oberon System 3: Vision of a Future Software Technology},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {1},
  pages     = {26--33},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Gutknecht94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/HirakawaI94,
  author    = {Masahito Hirakawa and
               Tadao Ichikawa},
  title     = {Visual Language Studies - {A} Perspective},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {2},
  pages     = {61--67},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/HirakawaI94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/KimuraSA94,
  author    = {Takayuki Dan Kimura and
               Samudra Sengupta and
               Ajay Apte},
  title     = {A Graphic Diagram Editor for Pen Computers},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {2},
  pages     = {82},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/KimuraSA94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Knuth94,
  author    = {Donald E. Knuth},
  title     = {Mini-Indexes for Literate Programs},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {1},
  pages     = {2--11},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Knuth94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/PombergerR94,
  author    = {Gustav Pomberger and
               Gerhard Rossbach},
  title     = {Editorial},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {1},
  pages     = {1},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/PombergerR94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Reichenberger94,
  author    = {Christoph Reichenberger},
  title     = {Concepts and Techniques for Software Version Control},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {3},
  pages     = {97--104},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Reichenberger94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WaeselynckP94,
  author    = {H{\'{e}}l{\`{e}}ne Waeselynck and
               Dietmar Pfahl},
  title     = {System Dynamics Applied to the Modelling of Software Projects},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {4},
  pages     = {162--176},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/WaeselynckP94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Ward94,
  author    = {Martin P. Ward},
  title     = {Language-Oriented Programming},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {4},
  pages     = {147--161},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/Ward94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WelshH94,
  author    = {Jim Welsh and
               Jun Han},
  title     = {Software Documents: Concepts and Tools},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {1},
  pages     = {12--25},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/WelshH94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WelshY94,
  author    = {Jim Welsh and
               Yun Yang},
  title     = {Integration of Semantic Tools into Document Editors},
  journal   = {Softw. Concepts Tools},
  volume    = {15},
  number    = {2},
  pages     = {68--81},
  year      = {1994},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/stp/WelshY94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Boles93,
  author    = {D. Boles},
  title     = {Parallel Object-Oriented Programming with {QPC++}},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {4},
  pages     = {158--172},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Boles93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Boszormenyi93,
  author    = {L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi},
  title     = {A Comparison of Modula-3 and Oberon-2},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {1},
  pages     = {15--22},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Boszormenyi93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Christensen93,
  author    = {H. Christensen},
  title     = {Synthesis of Programs from Logic Specifications Using Programming
               Methodology},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {4},
  pages     = {173--186},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Christensen93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CowanILS93,
  author    = {Donald D. Cowan and
               Roberto Ierusalimschy and
               Carlos Jos{\'{e}} Pereira de Lucena and
               Terry M. Stepien},
  title     = {Abstract Data Views},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {1},
  pages     = {1--14},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/CowanILS93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/EgorovBP93,
  author    = {Igor I. Egorov and
               Ruslan P. Bogatyrev and
               Dmitry L. Petrovichev},
  title     = {Yet Another Approach to Modula-2 Implementation of Exception Handling
               Mechanism},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {1},
  pages     = {23--36},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/EgorovBP93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/EphraimTJJ93,
  author    = {M. J. Ephra{\"{\i}}m and
               A. H. M. Thiers and
               A. Janner and
               T. Janssen},
  title     = {Applying Smalltalk-80 and {C++} to Crystal Symmetry Analysis},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {3},
  pages     = {119--135},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/EphraimTJJ93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Eppler93,
  author    = {Reinhard Eppler},
  title     = {Standard Type {LIST} for Imperative Languages},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {2},
  pages     = {56--61},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Eppler93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Franz93,
  author    = {Michael Franz},
  title     = {The Case for Universal Symbol Files},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {3},
  pages     = {136--147},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Franz93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Fuchs93,
  author    = {Norbert E. Fuchs},
  title     = {An Improved Algorithm for Deriving the Decomposition Tree of a Flowgraph},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {3},
  pages     = {93--101},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Fuchs93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GrechenigB93,
  author    = {Thomas Grechenig and
               Stefan Biffl},
  title     = {The Challenge of Introducing the Object-Oriented Paradigm - An Empirical
               Investigation of a Software-Engineering Course},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {4},
  pages     = {187--198},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/GrechenigB93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Gutknecht93,
  author    = {J{\"{u}}rg Gutknecht},
  title     = {The Tragedy of Programming Language Development},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {2},
  pages     = {49--55},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Gutknecht93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Kofler93,
  author    = {Thomas Kofler},
  title     = {Robust Iterators in {ET++}},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {2},
  pages     = {62--85},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Kofler93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MichelisG93,
  author    = {Giorgio De Michelis and
               Maria Antonietta Grasso},
  title     = {Routines and Conversations},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {3},
  pages     = {110--118},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/MichelisG93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Rizman93,
  author    = {Krista Rizman},
  title     = {Building More Structured, Understandable, Reusable and Changeable
               Object-Oriented Software},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {3},
  pages     = {102--109},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Rizman93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SikoraGHR93,
  author    = {Herman Sikora and
               Paul Gr{\"{u}}nbacher and
               G{\"{u}}nter Hummel and
               Siegfried Reich},
  title     = {Object-Oriented Implementation Apsects of an Abstract Relational Database
               Interface},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {2},
  pages     = {86},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/SikoraGHR93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Spinellis93,
  author    = {Diomidis Spinellis},
  title     = {Implementing Haskell: Language Implementation as a Tool Building Exercise},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {1},
  pages     = {37--48},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Spinellis93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SpoelderUL93,
  author    = {Hans J. W. Spoelder and
               A. H. Ullings and
               C. N. Liu},
  title     = {Coupling a {C++} Class with Existing Software: {A} Case Study with
               {BLAS}},
  journal   = {Struct. Program.},
  volume    = {14},
  number    = {4},
  pages     = {150--157},
  year      = {1993},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/SpoelderUL93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BishopG92,
  author    = {Judy M. Bishop and
               Kevin M. Gregson},
  title     = {Literate Programming and the {LIPED} Environment},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {1},
  pages     = {23--34},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BishopG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BoudrigaMM92,
  author    = {Noureddine Boudriga and
               Ali Mili and
               Roland T. Mittermeir},
  title     = {Semantic-Based Software Retrieval to Support Rapid Prototyping},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {3},
  pages     = {109--127},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BoudrigaMM92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Bron92,
  author    = {Coenraad Bron},
  title     = {Letter to the Authors of the Article 'On Intermediate Variables'},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {1},
  pages     = {51--53},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Bron92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CeliM92,
  author    = {Maria Luisa Celi and
               Vitaliano Milanese},
  title     = {Graphics Modeling and Visualization: An Amalgamating Approach Using
               {OBERON}},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {4},
  pages     = {179--192},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/CeliM92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Doberkat92,
  author    = {Ernst{-}Erich Doberkat},
  title     = {Integrating Persistence into a Set-Oriented Prototyping Language},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {3},
  pages     = {137--153},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Doberkat92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Dobler92,
  author    = {Heinz Dobler},
  title     = {Ada on Personal Computers - Some Experiences},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {4},
  pages     = {193--202},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Dobler92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Fuchs92,
  author    = {Norbert E. Fuchs},
  title     = {Hoare Logic, Executable Specifications and Logic Programs},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {3},
  pages     = {129--135},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Fuchs92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GrahamK92,
  author    = {T. C. Nicholas Graham and
               Gerd Kock},
  title     = {Domesticating Imperative Constructs for a Functional World},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {2},
  pages     = {75--88},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/GrahamK92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/KleinK92,
  author    = {Eduard Klein and
               Kai Koskimies},
  title     = {How to Pipeline Parsing with Parallel Semantic Analysis},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {3},
  pages     = {99--107},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/KleinK92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/LokpoP92,
  author    = {Bamba Ibrahim Lokpo and
               G{\'{e}}rard Padiou},
  title     = {Reusability in the Occam Language},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {2},
  pages     = {65--74},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/LokpoP92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pirklbauer92,
  author    = {Klaus Pirklbauer},
  title     = {A Stuudyy of Pattern-Matching Algorithms},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {2},
  pages     = {89},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Pirklbauer92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Rose92,
  author    = {Julian Rose},
  title     = {A New Rigorous Approach for Modelling and Refining Concurrent Behaviour
               in {JSD} Specifications},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {1},
  pages     = {11--22},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Rose92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Sakkinen92,
  author    = {Markku Sakkinen},
  title     = {The Darker Side of {C++} Revisited},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {4},
  pages     = {155--178},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Sakkinen92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Schmitz92,
  author    = {Lothar Schmitz},
  title     = {Using Inheritance to Explore a Family of Algorithms},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {2},
  pages     = {55--64},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Schmitz92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SmithS92,
  author    = {Lisa M. Smith and
               Mansur H. Samadzadeh},
  title     = {Measuring Complexity and Stability of {WEB} programs},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {1},
  pages     = {35--50},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/SmithS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Turski92,
  author    = {Wladyslaw M. Turski},
  title     = {Extending the Computing Paradigm},
  journal   = {Struct. Program.},
  volume    = {13},
  number    = {1},
  pages     = {1--10},
  year      = {1992},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Turski92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BackS91,
  author    = {Ralph{-}Johan Back and
               Kaisa Sere},
  title     = {Stepwise Refinement of Action Systems},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {1},
  pages     = {17--30},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BackS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Blaschek91,
  author    = {G{\"{u}}nther Blaschek},
  title     = {Type-Safe Object-Oriented Programming with Prototypes - The Concepts
               of Omega},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {4},
  pages     = {217--226},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Blaschek91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Champlain91,
  author    = {Michel De Champlain},
  title     = {Synapse: An Object-Based Real-Time Programming Language},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {3},
  pages     = {145--156},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Champlain91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/CramerFGG91,
  author    = {Joachim Cramer and
               Werner Fey and
               Michael Goedicke and
               Martin Gro{\ss}e{-}Rhode},
  title     = {Towards a Formally Based Component Description Language - {A} Foundation
               for Reuse},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {2},
  pages     = {91--110},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/CramerFGG91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GomardJ91,
  author    = {Carsten K. Gomard and
               Neil D. Jones},
  title     = {Compiler Generation by Partial Evaluation: {A} Case Study},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {3},
  pages     = {123--144},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/GomardJ91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Grogono91,
  author    = {Peter Grogono},
  title     = {Issues in the Design of an Object Oriented Programming Language},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {1},
  pages     = {1--15},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Grogono91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Grosch91,
  author    = {Josef Grosch},
  title     = {Tool Support for Data Structures},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {1},
  pages     = {31--38},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Grosch91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/HeebP91,
  author    = {Beat Heeb and
               Cuno Pfister},
  title     = {On Intermediate Variables and Local Procedures as Parameters},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {1},
  pages     = {39--42},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/HeebP91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Marais91,
  author    = {Johannes L. Marais},
  title     = {The {GADGETS} User Interface Management System},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {2},
  pages     = {75--90},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Marais91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Milanese91,
  author    = {Vitaliano Milanese},
  title     = {Aspects of a Graphic Language: {A} Critical Evaluation},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {3},
  pages     = {157},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Milanese91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MossenbockW91,
  author    = {Hanspeter M{\"{o}}ssenb{\"{o}}ck and
               Niklaus Wirth},
  title     = {Differences between Oberon and Oberon-2},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {4},
  pages     = {175--178},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/MossenbockW91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MossenbockW91a,
  author    = {Hanspeter M{\"{o}}ssenb{\"{o}}ck and
               Niklaus Wirth},
  title     = {The Programming Language Oberon-2},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {4},
  pages     = {179--196},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/MossenbockW91a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/PombergerBKPS91,
  author    = {Gustav Pomberger and
               Walter R. Bischofberger and
               Dieter Kolb and
               Wolfgang Pree and
               Holger Schlemm},
  title     = {Prototyping-Oriented Software Development - Concepts and Tools},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {1},
  pages     = {43--60},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/PombergerBKPS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Revesz91,
  author    = {Gy{\"{o}}rgy E. R{\'{e}}v{\'{e}}sz},
  title     = {On Translating Ordinary Mathematical Notation},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {3},
  pages     = {115--122},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Revesz91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Schnorf91,
  author    = {Peter Schnorf},
  title     = {Design of a Reusable Symbol Table Abstraction},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {2},
  pages     = {63--74},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Schnorf91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/SudaD91,
  author    = {Peter Suda and
               Hans Delfs},
  title     = {{TOROS} - {A} System Integrating Object and Rule-Oriented Programming
               in a {C/UNIX} Environment},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {4},
  pages     = {207--216},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/SudaD91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Templ91,
  author    = {Josef Templ},
  title     = {Design and Implementation of SPARC-Oberon},
  journal   = {Struct. Program.},
  volume    = {12},
  number    = {4},
  pages     = {197--206},
  year      = {1991},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Templ91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Bron90,
  author    = {Coenraad Bron},
  title     = {Symmetric (and Generic) Algorithms for Height Balanced Trees},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {2},
  pages     = {59--68},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Bron90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BrownC90,
  author    = {Marcus E. Brown and
               Bart Childs},
  title     = {An Interactive Environment for Literate Programming},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {1},
  pages     = {11--26},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BrownC90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BrownC90a,
  author    = {Marcus Brown and
               David Cordes},
  title     = {Literate Programming Applied to Conventional Software Design},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {2},
  pages     = {85--98},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BrownC90a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Ejiogu90,
  author    = {Lem O. Ejiogu},
  title     = {Beyond Structured Programming: An Introduction to the Principles of
               Applied Software Metrics},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {1},
  pages     = {27--44},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Ejiogu90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/GriesV90,
  author    = {David Gries and
               Dennis M. Volpano},
  title     = {The Transform - a New Language Construct},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {1},
  pages     = {1--10},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/GriesV90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Grosch90,
  author    = {Josef Grosch},
  title     = {Efficient and Comfortable Error Recovery in Recursive Descent Parsers},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {3},
  pages     = {129--140},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Grosch90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Gupta90,
  author    = {Rajiv Gupta},
  title     = {Debugging Code Reorganized by a Trace Scheduling Compiler},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {3},
  pages     = {141--150},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Gupta90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Hartel90,
  author    = {Pieter H. Hartel},
  title     = {A Comparison of Three Garbage Collection Algorithms},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {3},
  pages     = {117--128},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Hartel90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/KlaerenT90,
  author    = {Herbert Klaeren and
               Peter Thiemann},
  title     = {A Clean Modula-2 Interface to Abstract Data Types},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {2},
  pages     = {69--78},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/KlaerenT90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MillerS90,
  author    = {Russ Miller and
               Quentin F. Stout},
  title     = {Seymour: a Portable Parallel Programming Language},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {4},
  pages     = {157--172},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/MillerS90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Morris90,
  author    = {Joseph M. Morris},
  title     = {Programming by Expression Refinement: a Sequence of Examples},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {4},
  pages     = {189--198},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Morris90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Padiou90,
  author    = {G{\'{e}}rard Padiou},
  title     = {Nested Coroutines for Exception Handling in Modula-2},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {2},
  pages     = {79--84},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Padiou90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pomberger90,
  author    = {Gustav Pomberger},
  title     = {Editorial},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {4},
  pages     = {155--156},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Pomberger90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Rechenberg90,
  author    = {Peter Rechenberg},
  title     = {Programming Languages as Thought Models},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {3},
  pages     = {105--116},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Rechenberg90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/ReinfeldsM90,
  author    = {Juris Reinfelds and
               Richard Miller},
  title     = {The Development of a Program to Find the Length of the Longest M-Sequence
               in a String},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {1},
  pages     = {45--52},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/ReinfeldsM90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Schaffer90,
  author    = {Bruno Sch{\"{a}}ffer},
  title     = {Chiron - {A} Homogeneous Object-Oriented Language},
  journal   = {Struct. Program.},
  volume    = {11},
  number    = {4},
  pages     = {173--188},
  year      = {1990},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Schaffer90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Abacus89,
  author    = {Alex Abacus},
  title     = {Parameterizing {C} Code at Compile and Run Time},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {4},
  pages     = {209--214},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Abacus89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BischofbergerK89,
  author    = {Walter R. Bischofberger and
               Rudolf K. Keller},
  title     = {Enhancing the Software Life Cycle by Prototyping},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {47--59},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BischofbergerK89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Blaschek89,
  author    = {G{\"{u}}nther Blaschek},
  title     = {Implementation of Objects in Modula-2},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {3},
  pages     = {147--155},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Blaschek89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BlaschekPS89,
  author    = {G{\"{u}}nther Blaschek and
               Gustav Pomberger and
               Alois Stritzinger},
  title     = {A Comparison of Object-Oriented Programming Languages},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {4},
  pages     = {187--197},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/BlaschekPS89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Braunl89,
  author    = {Thomas Br{\"{a}}unl},
  title     = {Structured {SIMD} Programming in Parallaxis},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {3},
  pages     = {121--132},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Braunl89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Celko89,
  author    = {Joe Celko},
  title     = {Observations about Student Programming Practices},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {4},
  pages     = {215},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Celko89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Christiansen89,
  author    = {Henning Christiansen},
  title     = {Structure Sharing in Incremental Systems},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {4},
  pages     = {169--186},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Christiansen89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/DijkstraF89,
  author    = {Edsger W. Dijkstra and
               W. H. J. Feijen},
  title     = {The Linear Search Revisited},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {5--9},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/DijkstraF89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Gutknecht89,
  author    = {J{\"{u}}rg Gutknecht},
  title     = {Variations on the Role of Module Interfaces},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {40--46},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Gutknecht89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lins89,
  author    = {Charles Lins},
  title     = {A First Look at Literate Programming},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {60--62},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Lins89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Lins89a,
  author    = {Charles Lins},
  title     = {An Introduction to Literate Programming},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {2},
  pages     = {107--112},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Lins89a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Meyer89,
  author    = {Bertrand Meyer},
  title     = {From Structured Programming to Object-Oriented Design: The Road to
               Eiffel},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {19--39},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Meyer89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/MossenbockT89,
  author    = {Hanspeter M{\"{o}}ssenb{\"{o}}ck and
               Josef Templ},
  title     = {Object Oberon - {A} Modest Object-Oriented Language},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {4},
  pages     = {199--207},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/MossenbockT89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Odersky89,
  author    = {Martin Odersky},
  title     = {{MINOS:} {A} New Approach to the Design of an Input/Output Library
               for Modula-2},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {2},
  pages     = {89--105},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Odersky89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pomberger89,
  author    = {Gustav Pomberger},
  title     = {Editorial Welcome},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {3--4},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Pomberger89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Pritchard89,
  author    = {Paul Pritchard},
  title     = {A Display-oriented Syntax Notation},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {3},
  pages     = {165--168},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Pritchard89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/RosselloBP89,
  author    = {Celest{\'{\i}} Rossell{\'{o}} and
               Jos{\'{e}} L. Balc{\'{a}}zar and
               Ricardo Pena},
  title     = {Deriving Specifications of Embeddings in Recursive Program Design},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {3},
  pages     = {133--145},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/RosselloBP89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Tung89,
  author    = {Sho{-}Huan Tung},
  title     = {A Structured Method for Literate Programming},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {2},
  pages     = {113--120},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Tung89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/WeinandGM89,
  author    = {Andr{\'{e}} Weinand and
               Erich Gamma and
               Rudolph Marty},
  title     = {Design and Implementation of ET++, a Seamless Object-Oriented Application
               Framework},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {2},
  pages     = {63--87},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/WeinandGM89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Wirth89,
  author    = {Niklaus Wirth},
  title     = {Designing a System from Scratch},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {1},
  pages     = {10--18},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Wirth89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Yeager89,
  author    = {Dorian P. Yeager},
  title     = {A History-sensitive Approach to the Description of Binary Relations},
  journal   = {Struct. Program.},
  volume    = {10},
  number    = {3},
  pages     = {157--163},
  year      = {1989},
  timestamp = {Tue, 26 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/stp/Yeager89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics