TPTP Reference: BG05


@Article{BG05,
    Author       = "Bock, C. and Gruninger, M.",
    Year         = "2005",
    Title        = "{PSL: A Semantic Domain for Flow Models}",
    Journal      = "Journal of Software and Systems Modeling",
    Volume       = "4",
    Number       = "2",
    Pages        = "209-231",
    Comment      = "TPTPRef"
}