human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory"):
  Abstract: The programming language aspects of a graphic simulation laboratory named ThingLab are presented. The design and implementation of ThingLab are extensions to Smalltalk. In ThingLab,  constraints  are used to specify the relations that must hold among the parts of the simulation. The system is object-oriented and employs  inheritance  and  part-whole  hierarchies to describe the structure of a simulation. An interactive, graphic user interface is provided that allows the user to view and edit a simulation.

Includes members:
  Member "Garnet: comprehensive support for graphical, highly interactive user interfaces":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "COLLAGEN: A Collaboration Manager for Software Interface Agents")
  Member "An overview of KRL, a Knowledge Representation Language":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "A knowledge-based application definition system")
  Member "Ownership types for flexible alias protection":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Object-Oriented Design Pattern: Access Protector.")
  Member "Constraint-Based Automatic Placement for Scene Composition.":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science